removes falls-through from unconditional branches in IR reification (#1451)

ivg · web-flow · commit f1e1c13b79b6 · 2022-03-23T22:43:36.000-04:00
diff --git a/plugins/bil/bil_ir.ml b/plugins/bil/bil_ir.ml
@@ -388,6 +388,7 @@ module IR = struct
           jmp';
         ]
       }
+    | [jmp] when is_unconditional jmp -> x
     | jmps -> {x with jmps = goto ~tid dst :: jmps}
 
   let appgraphs fst snd =

Original file line number	Diff line number	Diff line change
`@@ -388,6 +388,7 @@ module IR = struct`
`388`	`388`	`jmp';`
`389`	`389`	`]`
`390`	`390`	`}`
	`391`	`+ \| [jmp] when is_unconditional jmp -> x`
`391`	`392`	`\| jmps -> {x with jmps = goto ~tid dst :: jmps}`
`392`	`393`
`393`	`394`	`let appgraphs fst snd =`