Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 8883e58a0362cbf85e4779fc7b64f39bf740798a..40d93f6df5ca78e0828ba335851bee0cce75f7b6 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -613,6 +613,8 @@ DEFINE_BOOL(age_code, true, |
"old code (required for code flushing)") |
DEFINE_BOOL(incremental_marking, true, "use incremental marking") |
DEFINE_BOOL(incremental_marking_steps, true, "do incremental marking steps") |
+DEFINE_BOOL(overapproximate_weak_closure, false, |
+ "overapproximate weak closer to reduce atomic pause time") |
DEFINE_BOOL(concurrent_sweeping, true, "use concurrent sweeping") |
DEFINE_BOOL(trace_incremental_marking, false, |
"trace progress of the incremental marking") |