| 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")
|
|
|