Commit a8c6dc3c authored by Armillon Damien's avatar Armillon Damien
Browse files

supress first nop

parent 5d22ccce
......@@ -87,7 +87,7 @@ let nop_elim_fun ({ cfgfunargs; cfgfunbody; cfgentry } as f: cfg_fun) =
if (Set.is_empty (preds cfgfunbody n)) then
if n=cfgentry then
match node with
| Cnop(n) -> Some node
| Cnop(n) -> None
| _ -> Some node
else Some node
else Some node
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment