Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 7c1e664d1d04fa6eb009dfd3d800bc51586ccf36..258fc93b92e5566ef49b5e46fedb1af4d27f5258 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -761,6 +761,9 @@ DEFINE_BOOL(trace_detached_contexts, false, |
DEFINE_IMPLICATION(trace_detached_contexts, track_detached_contexts) |
#ifdef VERIFY_HEAP |
DEFINE_BOOL(verify_heap, false, "verify heap pointers before and after GC") |
+DEFINE_BOOL(verify_minor_mc_marking, false, |
+ "verify marking of minor_mc using the Scavenger") |
+DEFINE_NEG_IMPLICATION(verify_minor_mc_marking, incremental_marking) |
#endif |
DEFINE_BOOL(move_object_start, true, "enable moving of object starts") |
DEFINE_BOOL(memory_reducer, true, "use memory reducer") |