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

gcc/ChangeLog

 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

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.

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

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;

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");