diff options
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/common.opt | 9 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 8 | ||||
| -rw-r--r-- | gcc/passes.c | 2 | ||||
| -rw-r--r-- | gcc/timevar.c | 11 |
5 files changed, 23 insertions, 14 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index af9963f..416bc15 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,12 @@ 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. + +2015-10-28 Richard Biener <rguenther@suse.de> + PR middle-end/68067 * fold-const.c (negate_expr_p): We cannot negate plus or minus if overflow is not wrapping. Likewise multiplication unless diff --git a/gcc/common.opt b/gcc/common.opt index 12ca0d6..961a1b63 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -46,11 +46,6 @@ int optimize_fast Variable bool in_lto_p = false -; Enable additional checks of internal state consistency, which may slow -; the compiler down. -Variable -bool flag_checking = CHECKING_P - ; 0 means straightforward implementation of complex divide acceptable. ; 1 means wide ranges of inputs must work for complex divide. ; 2 means C99-like requirements for complex multiply and divide. @@ -1002,6 +997,10 @@ fcheck-new Common Var(flag_check_new) Check the return value of new in C++. +fchecking +Common Var(flag_checking) Init(CHECKING_P) +Perform internal consistency checkings. + fcombine-stack-adjustments Common Report Var(flag_combine_stack_adjustments) Optimization Looks for opportunities to reduce stack adjustments and stack references. diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 462eef0..76fdc31 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -310,7 +310,7 @@ Objective-C and Objective-C++ Dialects}. -fsanitize=@var{style} -fsanitize-recover -fsanitize-recover=@var{style} @gol -fasan-shadow-offset=@var{number} -fsanitize-sections=@var{s1},@var{s2},... @gol -fsanitize-undefined-trap-on-error @gol --fcheck-pointer-bounds -fchkp-check-incomplete-type @gol +-fcheck-pointer-bounds -fchecking -fchkp-check-incomplete-type @gol -fchkp-first-field-has-own-bounds -fchkp-narrow-bounds @gol -fchkp-narrow-to-innermost-array -fchkp-optimize @gol -fchkp-use-fast-string-functions -fchkp-use-nochk-string-functions @gol @@ -6145,6 +6145,12 @@ structure field attribute (@pxref{Type Attributes}) and functions for controlling the Pointer Bounds Checker. @xref{Pointer Bounds Checker builtins}, for more information. +@item -fchecking +@opindex fchecking +@opindex fno-checking +Enable internal consistency checking. The default depends on +the compiler configuration. + @item -fchkp-check-incomplete-type @opindex fchkp-check-incomplete-type @opindex fno-chkp-check-incomplete-type diff --git a/gcc/passes.c b/gcc/passes.c index 43dd4e0..82834ca 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -2073,7 +2073,7 @@ clear_last_verified (function *fn, void *data ATTRIBUTE_UNUSED) /* Helper function. Verify that the properties has been turn into the properties expected by the pass. */ -static void DEBUG_FUNCTION +static void verify_curr_properties (function *fn, void *data) { unsigned int props = (size_t)data; 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"); |