Restore CTry goto d for exception value dependency

yuxiaomao · Feb 16, 2024 · a956427 · a956427
1 parent 83738b1
commit a956427
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/generators/hlopt.ml b/src/generators/hlopt.ml
@@ -506,7 +506,7 @@ let code_graph (f:fundecl) =
 					b.bnext <- [goto 0; goto d];
 				| CTry d ->
 					b.bend <- i;
-					b.bnext <- [goto ~tl:((i+1+d)::b.btrap) 0];
+					b.bnext <- [goto ~tl:((i+1+d)::b.btrap) 0; goto d];
 				| CThrow ->
 					b.bend <- i;
 					match b.btrap with