1. Pypy
  2. Untitled project
  3. stmgc

Commits

Remi Meier  committed d92fcb9

fix wrong assert

  • Participants
  • Parent commits 2c23968
  • Branches default

Comments (0)

Files changed (1)

File c4/steal.c

View file
         assert(IMPLIES(!(L->h_tid & GCFLAG_OLD), L->h_original));
         assert(IMPLIES(L->h_tid & GCFLAG_OLD,
                        (B->h_original == (revision_t)L) 
-                       || (B->h_original == L->h_original)));
+                       || (B->h_original == L->h_original)
+                       || (L->h_original == (revision_t)B)));
         if (!L->h_original && L->h_tid & GCFLAG_OLD) {
             /* If old, L must be the original */
             B->h_original = (revision_t)L;