diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index cbc9a333ec..d4301c414f 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -181,6 +181,7 @@ void initRtsFlagsDefaults(void) RtsFlags.DebugFlags.gc = false; RtsFlags.DebugFlags.block_alloc = false; RtsFlags.DebugFlags.sanity = false; + RtsFlags.DebugFlags.zero_on_gc = false; RtsFlags.DebugFlags.stable = false; RtsFlags.DebugFlags.stm = false; RtsFlags.DebugFlags.prof = false; @@ -405,6 +406,7 @@ usage_text[] = { " -Dg DEBUG: gc", " -Db DEBUG: block", " -DS DEBUG: sanity", +" -DZ DEBUG: zero freed memory during GC", " -Dt DEBUG: stable", " -Dp DEBUG: prof", " -Da DEBUG: apply", @@ -1861,6 +1863,9 @@ static void read_debug_flags(const char* arg) case 'S': RtsFlags.DebugFlags.sanity = true; break; + case 'Z': + RtsFlags.DebugFlags.zero_on_gc = true; + break; case 't': RtsFlags.DebugFlags.stable = true; break; @@ -1895,6 +1900,12 @@ static void read_debug_flags(const char* arg) // -Dx also turns on -v. Use -l to direct trace // events to the .eventlog file instead. RtsFlags.TraceFlags.tracing = TRACE_STDERR; + + // sanity implies zero_on_gc + if(RtsFlags.DebugFlags.sanity){ + RtsFlags.DebugFlags.zero_on_gc = true; + } + } #endif |