From be6f8ab8b3a8f7affd817a3386a7428bd2b9eacf Mon Sep 17 00:00:00 2001
From: Jussi Saurio <jussi.saurio@gmail.com>
Date: Tue, 18 Nov 2025 13:02:19 +0200
Subject: [PATCH] state.end_statement() should not be called separately in
 cases where abort() already does it

---
 core/vdbe/execute.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/core/vdbe/execute.rs b/core/vdbe/execute.rs
index f1a84031a..b33535b94 100644
--- a/core/vdbe/execute.rs
+++ b/core/vdbe/execute.rs
@@ -2071,8 +2071,6 @@ pub fn halt(
     description: &str,
 ) -> Result<InsnFunctionStepResult> {
     if err_code > 0 {
-        // Any non-FK constraint violation causes the statement subtransaction to roll back.
-        state.end_statement(&program.connection, pager, EndStatement::RollbackSavepoint)?;
         vtab_rollback_all(&program.connection, state)?;
     }
     match err_code {
@@ -2110,7 +2108,6 @@ pub fn halt(
             .load(Ordering::Acquire)
             > 0
     {
-        state.end_statement(&program.connection, pager, EndStatement::RollbackSavepoint)?;
         return Err(LimboError::Constraint(
             "foreign key constraint failed".to_string(),
         ));