Author: Armin Rigo <ar...@tunes.org>
Branch: 
Changeset: r285:df93e50691c5
Date: 2013-06-26 17:30 +0200
http://bitbucket.org/pypy/stmgc/changeset/df93e50691c5/

Log:    Sanity checks

diff --git a/c4/nursery.c b/c4/nursery.c
--- a/c4/nursery.c
+++ b/c4/nursery.c
@@ -456,6 +456,12 @@
             assert(!(items[i]->h_tid & GCFLAG_STUB));
             continue;
         }
+        /* Sanity check: a nursery object without the NURSERY_MOVED flag
+           is necessarily a private-without-backup object, or a protected
+           object; it cannot be a public object. */
+        assert(!(obj->h_tid & GCFLAG_PRIVATE_FROM_PROTECTED));
+        assert(!(obj->h_tid & GCFLAG_PUBLIC));
+        assert(!IS_POINTER(obj->h_revision));
         /* The listed object was not visited.  Unlist it. */
         items[i] = items[--d->list_of_read_objects.size];
     }
_______________________________________________
pypy-commit mailing list
pypy-commit@python.org
http://mail.python.org/mailman/listinfo/pypy-commit

Reply via email to