Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 2a57ceefd540e09213eee9c7249fd84c05a3b0a3..cfaf5bd328f2039f18b472c9625f24bfa72c16bd 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -552,6 +552,8 @@ DEFINE_bool(gc_verbose, false, "print stuff during garbage collection") |
DEFINE_bool(heap_stats, false, "report heap statistics before and after GC") |
DEFINE_bool(code_stats, false, "report code statistics after GC") |
DEFINE_bool(verify_heap, false, "verify heap pointers before and after GC") |
+DEFINE_bool(verify_global_context_separation, false, |
+ "verify that code holds on to at most one global context after GC") |
DEFINE_bool(print_handles, false, "report handles after GC") |
DEFINE_bool(print_global_handles, false, "report global handles after GC") |