| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index 5ccd47fbc7a7c87b320673102218863d33abf035..3057cde55a4ef90e9f6daa38a8d73e816e8b3386 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -607,6 +607,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")
|
|
|