Fix checkStackChunk() call in Interepter.c, enable an assertion
authorÖmer Sinan Ağacan <omeragacan@gmail.com>
Mon, 11 Feb 2019 15:17:43 +0000 (18:17 +0300)
committerBen Gamari <ben@smart-cactus.org>
Wed, 13 Mar 2019 20:31:52 +0000 (16:31 -0400)
Fixes #16303

(cherry picked from commit 6b890d76a252259843a6e87043f8f12e6a8a0aae)

rts/Interpreter.c
rts/sm/Sanity.c

index a3b179a..3450780 100644 (file)
@@ -938,7 +938,7 @@ run_BCO_fun:
              Sp_subW(2);
              SpW(1) = (W_)obj;
              SpW(0) = (W_)&stg_apply_interp_info;
-             checkStackChunk(Sp,SpLim);
+             checkStackChunk(Sp, cap->r.rCurrentTSO->stackobj->stack+cap->r.rCurrentTSO->stackobj->stack_size);
              Sp_addW(2);
         );
 
index 28c9b43..8082b7e 100644 (file)
@@ -172,7 +172,7 @@ checkStackChunk( StgPtr sp, StgPtr stack_end )
     while (p < stack_end) {
         p += checkStackFrame( p );
     }
-    // ASSERT( p == stack_end ); -- HWL
+    ASSERT( p == stack_end );
 }
 
 static void