projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5f7079b
)
add an assertion
author
Simon Marlow
<marlowsd@gmail.com>
Fri, 6 Feb 2009 13:03:38 +0000
(13:03 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Fri, 6 Feb 2009 13:03:38 +0000
(13:03 +0000)
rts/parallel/WSDeque.c
patch
|
blob
|
history
diff --git
a/rts/parallel/WSDeque.c
b/rts/parallel/WSDeque.c
index
8c403c3
..
ec34a8c
100644
(file)
--- a/
rts/parallel/WSDeque.c
+++ b/
rts/parallel/WSDeque.c
@@
-151,6
+151,7
@@
popWSDeque (WSDeque *q)
q->topBound = t+1; /* ...and cached top value as well */
ASSERT_WSDEQUE_INVARIANTS(q);
q->topBound = t+1; /* ...and cached top value as well */
ASSERT_WSDEQUE_INVARIANTS(q);
+ ASSERT(q->bottom >= q->top);
return removed;
}
return removed;
}