Author: Armin Rigo <[email protected]>
Branch: stm-thread-2
Changeset: r57217:f7500027a87a
Date: 2012-09-07 16:38 +0200
http://bitbucket.org/pypy/pypy/changeset/f7500027a87a/

Log:    Add asserts

diff --git a/pypy/translator/stm/src_stm/et.c b/pypy/translator/stm/src_stm/et.c
--- a/pypy/translator/stm/src_stm/et.c
+++ b/pypy/translator/stm/src_stm/et.c
@@ -498,6 +498,10 @@
       gcptr R = item->addr;
       gcptr L = item->val;
       assert(L->h_revision == (revision_t)R);
+      assert((L->h_tid & GCFLAG_GLOBAL) == 0);
+      assert(L->h_tid & GCFLAG_LOCAL_COPY);
+      assert((L->h_tid & GCFLAG_POSSIBLY_OUTDATED) == 0);
+
       L->h_tid &= ~GCFLAG_LOCAL_COPY;
       if (L->h_tid & GCFLAG_NOT_WRITTEN)
         {
@@ -508,6 +512,7 @@
           L->h_tid |= GCFLAG_GLOBAL | GCFLAG_NOT_WRITTEN;
           gcptrlist_insert2(&d->gcroots, L, (gcptr)0);
         }
+
     } G2L_LOOP_END;
   gcptrlist_insert(&d->gcroots, NULL);
   g2l_clear(&d->global_to_local);
_______________________________________________
pypy-commit mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-commit

Reply via email to