From a956427def36c1fdc2ec064a0c1ce28a7351b5d9 Mon Sep 17 00:00:00 2001
From: Yuxiao Mao <yuxiao.mao@outlook.com>
Date: Fri, 16 Feb 2024 12:45:34 +0100
Subject: [PATCH] Restore CTry goto d for exception value dependency

---
 src/generators/hlopt.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/generators/hlopt.ml b/src/generators/hlopt.ml
index cdeea8daafd..9fd60e1b9ab 100644
--- 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