Changeset 13346

Timestamp:

Dec 30, 2009, 10:32:24 AM (15 years ago)

Author:

Gary Byers

Message:

Check static cons freelist on GC entry, exit.

File:

• trunk/source/lisp-kernel/gc-common.c (modified) (3 diffs)

trunk/source/lisp-kernel/gc-common.c

@@ -98 +98 @@
 natural GCstack_limit = 0;
 
+void
+check_static_cons_freelist(char *phase)
+{
+  LispObj 
+    n,
+    base = (LispObj)static_cons_area->low, 
+    limit = static_cons_area->ndnodes;
+  natural i=0;
+
+  for (n=lisp_global(STATIC_CONSES);n!=lisp_nil;n=((cons *)untag(n))->cdr, i++) {
+    if ((fulltag_of(n) != fulltag_cons) ||
+        (area_dnode(n,base) >= limit)) {
+      Bug(NULL, "%s: static cons freelist has invalid element 0x" LISP "\n",
+          phase, i);
+    }
+  }
+}
 
 void
@@ -1427 +1444 @@
       check_all_areas(tcr);
     }
+    check_static_cons_freelist("in pre-gc static-cons check");
   }
 
@@ -1690 +1708 @@
     check_all_areas(tcr);
   }
+  check_static_cons_freelist("in post-gc static-cons check");
+