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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index af9963f9688fce6a1d776ab8bc989198abd97620..416bc155c11862635f0ff58d6a8db5b5547784e5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+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

diff --git a/gcc/common.opt b/gcc/common.opt
index 12ca0d66b7fd761e5576eca598071a44c7d3bb48..961a1b63c47da7d29a497497102bd414f16175fb 100644 (file)
--- 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 462eef0bedfe00761f56605cdc5ced5b5050383d..76fdc31769d7f54ea88520e9c3f6bfea0c8a6059 100644 (file)
--- 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 43dd4e0840763ef0ac0960f4bf1a863fb0c01a08..82834ca1f5ce832db7b5f186daf156c3426bd083 100644 (file)
--- 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 35438506d9abefedd7459511d16fd8ec48ce9ba8..a0e1a0a3f1f917c66a910e9a34c51705b35c01e3 100644 (file)
--- 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");