* src/threads/native/threads.c (monitorExit): Added an assert to

check that no existing waiter is overwritten by the suspicious
assignment.

diff --git a/src/threads/native/threads.c b/src/threads/native/threads.c
index df97f77e0be2357fa00315d24e470680c22c41f4..b5c100dde60a4f973665cae77e7bf53f9b9262bc 100644 (file)
--- a/src/threads/native/threads.c
+++ b/src/threads/native/threads.c
@@ -29,7 +29,7 @@
    Changes: Christian Thalinger
                        Edwin Steiner
 
-   $Id: threads.c 4879 2006-05-05 17:34:49Z edwin $
+   $Id: threads.c 4903 2006-05-11 12:48:43Z edwin $
 
 */
 
@@ -1367,6 +1367,7 @@ bool monitorExit(threadobject *t, java_objectheader *o)
                        (void*) compare_and_swap((long*) &o->monitorPtr, (long) lr, (long) wlr) != lr)
                {
                        monitorLockRecord *nlr = o->monitorPtr;
+                       assert(nlr->waiter == NULL);
                        nlr->waiter = wlr; /* XXX is it ok to overwrite the nlr->waiter field like that? */
                        STORE_ORDER_BARRIER();
                }