diff options
Diffstat (limited to 'gcc/ggc-page.c')
| -rw-r--r-- | gcc/ggc-page.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/gcc/ggc-page.c b/gcc/ggc-page.c index 34e9e243deb..deb21bba464 100644 --- a/gcc/ggc-page.c +++ b/gcc/ggc-page.c @@ -2201,12 +2201,11 @@ ggc_collect (void) void ggc_grow (void) { -#ifndef ENABLE_CHECKING - G.allocated_last_gc = MAX (G.allocated_last_gc, - G.allocated); -#else - ggc_collect (); -#endif + if (!flag_checking) + G.allocated_last_gc = MAX (G.allocated_last_gc, + G.allocated); + else + ggc_collect (); if (!quiet_flag) fprintf (stderr, " {GC start %luk} ", (unsigned long) G.allocated / 1024); } |