fix: Set addedPCR=0 for all objects when begin mark scan

ysthakur · Dec 9, 2024 · dfacd9e · dfacd9e
1 parent bb6393d
commit dfacd9e
Show file tree

Hide file tree

Showing 13 changed files with 22 additions and 2 deletions.
diff --git a/src/main/resources/runtime/runtime.h b/src/main/resources/runtime/runtime.h
@@ -125,7 +125,7 @@ void removePCR(Common *obj, int scc)
         free(bucket);
       }
       free(head);
-      break;
+      return;
     }
     else
     {

diff --git a/src/main/scala/fred/Translator.scala b/src/main/scala/fred/Translator.scala
@@ -158,6 +158,7 @@ object Translator {
 
       s"""|if ($This->color == kGray) return;
           |$This->color = kGray;
+          |$This->addedPCR = 0;
           |$recMarks""".stripMargin
     }
   }

diff --git a/src/test/resources/snapshot/exec/basic-cycle.c b/src/test/resources/snapshot/exec/basic-cycle.c
diff --git a/src/test/resources/snapshot/exec/basic-main.c b/src/test/resources/snapshot/exec/basic-main.c
diff --git a/src/test/resources/snapshot/exec/bucket-empty-recreate-3jilws.c b/src/test/resources/snapshot/exec/bucket-empty-recreate-3jilws.c
diff --git a/src/test/resources/snapshot/exec/contrived-needs-sorting.c b/src/test/resources/snapshot/exec/contrived-needs-sorting.c
diff --git a/src/test/resources/snapshot/exec/immediate-drop.c b/src/test/resources/snapshot/exec/immediate-drop.c
diff --git a/src/test/resources/snapshot/exec/lazy-mark-scan-83wesh.c b/src/test/resources/snapshot/exec/lazy-mark-scan-83wesh.c
diff --git a/src/test/resources/snapshot/gen/complex-liudr567.c b/src/test/resources/snapshot/gen/complex-liudr567.c
diff --git a/src/test/resources/snapshot/gen/good-scc-jifs893.c b/src/test/resources/snapshot/gen/good-scc-jifs893.c
diff --git a/src/test/resources/snapshot/gen/set-field-sfdu29.c b/src/test/resources/snapshot/gen/set-field-sfdu29.c
diff --git a/src/test/resources/snapshot/gen/type-aslid7fy.c b/src/test/resources/snapshot/gen/type-aslid7fy.c
diff --git a/src/test/scala/fred/FuzzTests.scala b/src/test/scala/fred/FuzzTests.scala
@@ -139,7 +139,7 @@ class FuzzTests
               FnCall(
                 Spanned("c", Span.synth),
                 List(StringLiteral(
-                  "processAllPCRs(); VALGRIND_DO_LEAK_CHECK;",
+                  "processAllPCRs(); VALGRIND_DO_CHANGED_LEAK_CHECK;",
                   Span.synth
                 )),
                 None,
-Original file line number
+Diff line change
@@ Expand Up / @@ -125,7 +125,7 @@ void removePCR(Common *obj, int scc) @@
             free(bucket);
           }
           free(head);
-          break;
+          return;
         }
         else
         {
@@ Expand Down @@