|
@@ -256,7 +256,8 @@ let rec func ctx bb tf t p =
|
|
if bb == g.g_unreachable then raise Exit;
|
|
if bb == g.g_unreachable then raise Exit;
|
|
loop2 bb el
|
|
loop2 bb el
|
|
| [] ->
|
|
| [] ->
|
|
- die "" __LOC__
|
|
|
|
|
|
+ (* TODO: is this correct? *)
|
|
|
|
+ bb,ctx.com.basic.evoid e.epos
|
|
in
|
|
in
|
|
let bb,e = loop2 bb el in
|
|
let bb,e = loop2 bb el in
|
|
loop bb e
|
|
loop bb e
|