Commit e6b38294 authored by Simon Marlow's avatar Simon Marlow

Disable an assertion; see comment

parent 3bebf3c2
......@@ -80,9 +80,15 @@
SpLim = tso_SpLim(cap->r.rCurrentTSO);
ASSERT(Sp > SpLim); \
cap->r.rCurrentTSO->stackobj->sp = Sp
// Note [Not true: ASSERT(Sp > SpLim)]
// SpLim has some headroom (RESERVED_STACK_WORDS) to allow for saving
// any necessary state on the stack when returning to the scheduler
// when a stack check fails.. The upshot of this is that Sp could be
// less than SpLim both when leaving to return to the scheduler.
#define RETURN_TO_SCHEDULER(todo,retcode) \
cap->r.rCurrentTSO->what_next = (todo); \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment