diff options
| author | Richard Biener <rguenther@suse.de> | 2015-10-28 10:07:03 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-10-28 10:07:03 +0000 |
| commit | 6d27d749d70f21c40b58918b9aca2cfbb2f8d5e4 (patch) | |
| tree | 627c9143b80f24e29686e3f31ed1c27d0dfb24c7 /gcc/timevar.c | |
| parent | 254b22cc79c594756343f645cbcf7163e39cf5b4 (diff) | |
| download | gcc-6d27d749d70f21c40b58918b9aca2cfbb2f8d5e4.zip gcc-6d27d749d70f21c40b58918b9aca2cfbb2f8d5e4.tar.gz gcc-6d27d749d70f21c40b58918b9aca2cfbb2f8d5e4.tar.bz2 | |
common.opt (fchecking): New flag controlling flag_checking.
2015-10-28 Richard Biener <rguenther@suse.de>
* common.opt (fchecking): New flag controlling flag_checking.
* passes.c (verify_curr_properties): Drop DEBUG_FUNCTION.
* timevar.c (timer::print): Adjust output.
* doc/invoke.texi (fchecking): Document.
From-SVN: r229480
Diffstat (limited to 'gcc/timevar.c')
| -rw-r--r-- | gcc/timevar.c | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/timevar.c b/gcc/timevar.c index 3543850..a0e1a0a 100644 --- a/gcc/timevar.c +++ b/gcc/timevar.c @@ -728,13 +728,10 @@ timer::print (FILE *fp) #endif fprintf (fp, "%8u kB\n", (unsigned) (total->ggc_mem >> 10)); - if (flag_checking) - { - fprintf (fp, "Extra diagnostic checks enabled; " - "compiler may run slowly.\n"); - fprintf (fp, "Configure with --enable-checking=release " - "to disable checks.\n"); - } + if (CHECKING_P || flag_checking) + fprintf (fp, "Extra diagnostic checks enabled; compiler may run slowly.\n"); + if (CHECKING_P) + fprintf (fp, "Configure with --enable-checking=release to disable checks.\n"); #ifndef ENABLE_ASSERT_CHECKING fprintf (fp, "Internal checks disabled; compiler is not suited for release.\n"); fprintf (fp, "Configure with --enable-checking=release to enable checks.\n"); |