diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-11-23 10:19:18 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-11-23 10:19:18 +0000 |
| commit | 21146fa414558ee31b08b14792feed71778bccdf (patch) | |
| tree | 7cc845b09d4f8ac7a60596815d4ceb5a518bfdf9 /rts/RaiseAsync.c | |
| parent | 85c9d6eebbab0b10088513b7cd48f5899fb8aabb (diff) | |
| download | haskell-21146fa414558ee31b08b14792feed71778bccdf.tar.gz | |
add a couple of assertions
Diffstat (limited to 'rts/RaiseAsync.c')
| -rw-r--r-- | rts/RaiseAsync.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/RaiseAsync.c b/rts/RaiseAsync.c index 5a6f8c98c0..c8a38565af 100644 --- a/rts/RaiseAsync.c +++ b/rts/RaiseAsync.c @@ -150,6 +150,8 @@ throwTo (Capability *cap, // the Capability we hold { StgWord status; + ASSERT(target != END_TSO_QUEUE); + // follow ThreadRelocated links in the target first while (target->what_next == ThreadRelocated) { target = target->_link; @@ -169,6 +171,8 @@ retry: debugTrace(DEBUG_sched, "throwTo: retrying..."); check_target: + ASSERT(target != END_TSO_QUEUE); + // Thread already dead? if (target->what_next == ThreadComplete || target->what_next == ThreadKilled) { |