(Proposal) patch to enable RTL checks by default

Kaveh R. Ghazi ghazi@caip.rutgers.edu
Mon Oct 23 11:19:00 GMT 2000


One of the criteria set for gcc 3.0 in the "Regression Tests" section
of http://gcc.gnu.org/gcc-3.0/criteria.html is zero --enable-checking
failures.  However I regularly see RTL check regressions.

This is probably due to the fact that we don't enable RTL checks by
default.  So when someone posts that they bootstrapped and ran the
testsuite with no regressions against a patch, they are correct in a
sense, but regressions creep in nevertheless.

IMHO, if we plan to hold to this criteria, we may as well get used to
testing it.  So I propose turning on RTL checks by default.  It'll
slow down bootstraps a bit, but we'll get a better compiler as a
result.

You can always turn it off manually, if your system can't handle it.
But that should be the exception, rather than the rule.

Note that the x86 RTL check regression I reported in:
http://gcc.gnu.org/ml/gcc-bugs/2000-10/msg00014.html
still occurs and will need to be fixed.  Perhaps this will provide
some impetus. :-)

Okay to install?

		Thanks,
		--Kaveh


2000-10-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* configure.in (--enable-checking): Enable RTL checks by default.
	
diff -rup orig/egcs-CVS20001022/gcc/configure.in egcs-CVS20001022/gcc/configure.in
--- orig/egcs-CVS20001022/gcc/configure.in	Wed Oct 18 18:38:17 2000
+++ egcs-CVS20001022/gcc/configure.in	Mon Oct 23 13:52:42 2000
@@ -182,14 +182,14 @@ AC_ARG_ENABLE(checking,
 			  enable expensive run-time checks.  With LIST,
 			  enable only specific categories of checks.
 			  Categories are: misc,tree,rtl,gc,gcac; default
-			  is misc,tree,gc],
+			  is misc,tree,gc,rtl],
 [ac_checking=
 ac_tree_checking=
 ac_rtl_checking=
 ac_gc_checking=
 ac_gc_always_collect=
 case "${enableval}" in
-yes)	ac_checking=1 ; ac_tree_checking=1 ; ac_gc_checking=1 ;;
+yes)	ac_checking=1 ; ac_tree_checking=1 ; ac_gc_checking=1  ; ac_rtl_checking=1 ;;
 no)	;;
 *)	IFS="${IFS= 	}"; ac_save_IFS="$IFS"; IFS="$IFS,"
 	set fnord $enableval; shift
@@ -209,7 +209,7 @@ no)	;;
 esac
 ], 
 # Enable some checks by default for development versions of GCC
-[ac_checking=1; ac_tree_checking=1; ac_gc_checking=1;])
+[ac_checking=1; ac_tree_checking=1; ac_gc_checking=1; ac_rtl_checking=1;])
 if test x$ac_checking != x ; then
   AC_DEFINE(ENABLE_CHECKING, 1,
 [Define if you want more run-time sanity checks.  This one gets a grab


More information about the Gcc-patches mailing list