Commit 05dad812 authored by Simon Marlow's avatar Simon Marlow
Browse files

extra sanity checking: call checkTSO() in resumeThread()

parent 4cb89d67
...@@ -2289,6 +2289,8 @@ resumeThread (void *task_) ...@@ -2289,6 +2289,8 @@ resumeThread (void *task_)
/* We might have GC'd, mark the TSO dirty again */ /* We might have GC'd, mark the TSO dirty again */
dirtyTSO(tso); dirtyTSO(tso);
IF_DEBUG(sanity, checkTSO(tso));
return &cap->r; return &cap->r;
} }
......
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