From 246d20055749428d3301bf4c1ab6e4bafff4775c Mon Sep 17 00:00:00 2001
From: araq <rumpf_a@web.de>
Date: Mon, 1 Sep 2025 18:29:05 +0200
Subject: [PATCH 1/2] WIP; fixes #25037

---
 compiler/ccgstmts.nim | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/compiler/ccgstmts.nim b/compiler/ccgstmts.nim
index 3aedca9a965d..f297a2d6f809 100644
--- a/compiler/ccgstmts.nim
+++ b/compiler/ccgstmts.nim
@@ -135,7 +135,7 @@ proc genVarTuple(p: BProc, n: PNode) =
       initLocalVar(p, v, immediateAsgn=isAssignedImmediately(p.config, n[^1]))
     var field = initLoc(locExpr, vn, tup.storage)
     let rtup = rdLoc(tup)
-    let fieldName = 
+    let fieldName =
       if t.kind == tyTuple:
         "Field" & $i
       else:
@@ -858,8 +858,12 @@ proc genRaiseStmt(p: BProc, t: PNode) =
     of excCpp:
       blockLeaveActions(p, howManyTrys = 0, howManyExcepts = p.inExceptBlockLen)
     of excGoto:
-      blockLeaveActions(p, howManyTrys = 0,
-        howManyExcepts = (if p.nestedTryStmts.len > 0 and p.nestedTryStmts[^1].inExcept: 1 else: 0))
+      var inExcept = 0
+      for i in 0..<p.nestedTryStmts.len:
+        if p.nestedTryStmts[i].inExcept:
+          inExcept = 1
+          break
+      blockLeaveActions(p, howManyTrys = 0, howManyExcepts = inExcept)
     else:
       discard
     genLineDir(p, t)

From 8fc33633d644bf0ff8bb10d39b3d14fe3bf83088 Mon Sep 17 00:00:00 2001
From: araq <rumpf_a@web.de>
Date: Thu, 18 Sep 2025 09:46:42 +0200
Subject: [PATCH 2/2] maybe so...

---
 compiler/ccgstmts.nim | 28 ++++++++++++++++++++++------
 lib/system/excpt.nim  |  4 ++++
 2 files changed, 26 insertions(+), 6 deletions(-)

diff --git a/compiler/ccgstmts.nim b/compiler/ccgstmts.nim
index f297a2d6f809..2fc92741fbf7 100644
--- a/compiler/ccgstmts.nim
+++ b/compiler/ccgstmts.nim
@@ -858,12 +858,28 @@ proc genRaiseStmt(p: BProc, t: PNode) =
     of excCpp:
       blockLeaveActions(p, howManyTrys = 0, howManyExcepts = p.inExceptBlockLen)
     of excGoto:
-      var inExcept = 0
-      for i in 0..<p.nestedTryStmts.len:
-        if p.nestedTryStmts[i].inExcept:
-          inExcept = 1
-          break
-      blockLeaveActions(p, howManyTrys = 0, howManyExcepts = inExcept)
+      #[
+      There is a difference between:
+
+        try:
+          something()
+        except:
+          # bug #25037
+          try:
+            let tmp = someValue()
+            raise E(tmp)
+          finally:
+            destroy(tmp)
+
+      And:
+
+        try:
+          something()
+        except:
+          raise E
+      ]#
+      if noSafePoints notin p.flags:
+        p.s(cpsStmts).addCallStmt(cgsymValue(p.module, "popAllButOneCurrentExceptions"))
     else:
       discard
     genLineDir(p, t)
diff --git a/lib/system/excpt.nim b/lib/system/excpt.nim
index 5563b1adf073..f8d93145d77b 100644
--- a/lib/system/excpt.nim
+++ b/lib/system/excpt.nim
@@ -158,6 +158,10 @@ proc popCurrentException {.compilerRtl, inl.} =
   currException = currException.up
   #showErrorMessage2 "B"
 
+proc popAllButOneCurrentExceptions {.compilerRtl, inl.} =
+  while currException != nil and currException.up != nil:
+    currException = currException.up
+
 proc popCurrentExceptionEx(id: uint) {.compilerRtl.} =
   discard "only for bootstrapping compatbility"