ENABLE_CHECKING refactoring: remove remaining occurrences

libcpp/

	* config.in: Regenerate.
	* configure: Regenerate.
	* configure.ac: Remove ENABLE_CHECKING.

gcc/

	* cfganal.c (inverted_post_order_compute): Remove conditional
	compilation, use flag_checking.
	* config.in: Regenerate.
	* configure: Regenerate.
	* configure.ac: Remove ENABLE_CHECKING.
	* genconditions.c: Do not #undef ENABLE_CHECKING.
	* sese.h (bb_in_region): Comment out broken check.
	* tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa_1): Remove
	conditional compilation, use flag_checking.

From-SVN: r229758
This commit is contained in:
Mikhail Maltsev 2015-11-04 15:01:46 +00:00 committed by Mikhail Maltsev
parent 595278beb1
commit a6c764d02e
12 changed files with 37 additions and 43 deletions

View File

@ -1,3 +1,15 @@
2015-11-04 Mikhail Maltsev <maltsevm@gmail.com>
* cfganal.c (inverted_post_order_compute): Remove conditional
compilation, use flag_checking.
* config.in: Regenerate.
* configure: Regenerate.
* configure.ac: Remove ENABLE_CHECKING.
* genconditions.c: Do not #undef ENABLE_CHECKING.
* sese.h (bb_in_region): Comment out broken check.
* tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa_1): Remove
conditional compilation, use flag_checking.
2015-11-04 Tom de Vries <tom@codesourcery.com> 2015-11-04 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/67742 PR tree-optimization/67742

View File

@ -784,9 +784,8 @@ inverted_post_order_compute (int *post_order)
int post_order_num = 0; int post_order_num = 0;
sbitmap visited; sbitmap visited;
#if ENABLE_CHECKING if (flag_checking)
verify_no_unreachable_blocks (); verify_no_unreachable_blocks ();
#endif
/* Allocate stack for back-tracking up CFG. */ /* Allocate stack for back-tracking up CFG. */
stack = XNEWVEC (edge_iterator, n_basic_blocks_for_fn (cfun) + 1); stack = XNEWVEC (edge_iterator, n_basic_blocks_for_fn (cfun) + 1);

View File

@ -76,13 +76,6 @@
#endif #endif
/* Define if you want more run-time sanity checks. This one gets a grab bag of
miscellaneous but relatively cheap checks. */
#ifndef USED_FOR_TARGET
#undef ENABLE_CHECKING
#endif
/* Define to 1 to specify that we are using the BID decimal floating point /* Define to 1 to specify that we are using the BID decimal floating point
format instead of DPD */ format instead of DPD */
#ifndef USED_FOR_TARGET #ifndef USED_FOR_TARGET

7
gcc/configure vendored
View File

@ -7098,9 +7098,6 @@ IFS="$ac_save_IFS"
nocommon_flag="" nocommon_flag=""
if test x$ac_checking != x ; then if test x$ac_checking != x ; then
$as_echo "#define ENABLE_CHECKING 1" >>confdefs.h
$as_echo "#define CHECKING_P 1" >>confdefs.h $as_echo "#define CHECKING_P 1" >>confdefs.h
nocommon_flag=-fno-common nocommon_flag=-fno-common
@ -18405,7 +18402,7 @@ else
lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
lt_status=$lt_dlunknown lt_status=$lt_dlunknown
cat > conftest.$ac_ext <<_LT_EOF cat > conftest.$ac_ext <<_LT_EOF
#line 18408 "configure" #line 18405 "configure"
#include "confdefs.h" #include "confdefs.h"
#if HAVE_DLFCN_H #if HAVE_DLFCN_H
@ -18511,7 +18508,7 @@ else
lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
lt_status=$lt_dlunknown lt_status=$lt_dlunknown
cat > conftest.$ac_ext <<_LT_EOF cat > conftest.$ac_ext <<_LT_EOF
#line 18514 "configure" #line 18511 "configure"
#include "confdefs.h" #include "confdefs.h"
#if HAVE_DLFCN_H #if HAVE_DLFCN_H

View File

@ -566,9 +566,6 @@ IFS="$ac_save_IFS"
nocommon_flag="" nocommon_flag=""
if test x$ac_checking != x ; then 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
bag of miscellaneous but relatively cheap checks.])
AC_DEFINE(CHECKING_P, 1, AC_DEFINE(CHECKING_P, 1,
[Define to 1 if you want more run-time sanity checks. This one gets a grab [Define to 1 if you want more run-time sanity checks. This one gets a grab
bag of miscellaneous but relatively cheap checks.]) bag of miscellaneous but relatively cheap checks.])

View File

@ -59,7 +59,6 @@ write_header (void)
#if GCC_VERSION >= 3001\n\ #if GCC_VERSION >= 3001\n\
\n\ \n\
/* Do not allow checking to confuse the issue. */\n\ /* Do not allow checking to confuse the issue. */\n\
#undef ENABLE_CHECKING\n\
#undef CHECKING_P\n\ #undef CHECKING_P\n\
#define CHECKING_P 0\n\ #define CHECKING_P 0\n\
#undef ENABLE_TREE_CHECKING\n\ #undef ENABLE_TREE_CHECKING\n\

View File

@ -108,16 +108,18 @@ sese_nb_params (sese_info_p region)
static inline bool static inline bool
bb_in_region (basic_block bb, basic_block entry, basic_block exit) bb_in_region (basic_block bb, basic_block entry, basic_block exit)
{ {
#ifdef ENABLE_CHECKING /* FIXME: PR67842. */
{ #if 0
edge e; if (flag_checking)
edge_iterator ei; {
edge e;
edge_iterator ei;
/* Check that there are no edges coming in the region: all the /* Check that there are no edges coming in the region: all the
predecessors of EXIT are dominated by ENTRY. */ predecessors of EXIT are dominated by ENTRY. */
FOR_EACH_EDGE (e, ei, exit->preds) FOR_EACH_EDGE (e, ei, exit->preds)
dominated_by_p (CDI_DOMINATORS, e->src, entry); gcc_assert (dominated_by_p (CDI_DOMINATORS, e->src, entry));
} }
#endif #endif
return dominated_by_p (CDI_DOMINATORS, bb, entry) return dominated_by_p (CDI_DOMINATORS, bb, entry)

View File

@ -616,14 +616,10 @@ rewrite_into_loop_closed_ssa_1 (bitmap changed_bbs, unsigned update_flag,
/* If the pass has caused the SSA form to be out-of-date, update it /* If the pass has caused the SSA form to be out-of-date, update it
now. */ now. */
if (update_flag == 0) if (update_flag != 0)
{
#ifdef ENABLE_CHECKING
verify_ssa (true, true);
#endif
}
else
update_ssa (update_flag); update_ssa (update_flag);
else if (flag_checking)
verify_ssa (true, true);
bitmap_obstack_initialize (&loop_renamer_obstack); bitmap_obstack_initialize (&loop_renamer_obstack);

View File

@ -1,3 +1,9 @@
2015-11-04 Mikhail Maltsev <maltsevm@gmail.com>
* config.in: Regenerate.
* configure: Regenerate.
* configure.ac: Remove ENABLE_CHECKING.
2015-11-03 Uros Bizjak <ubizjak@gmail.com> 2015-11-03 Uros Bizjak <ubizjak@gmail.com>
* lex.c (search_line_sse42): Correctly advance the pointer to an * lex.c (search_line_sse42): Correctly advance the pointer to an

View File

@ -17,9 +17,6 @@
/* Define to enable system headers canonicalization. */ /* Define to enable system headers canonicalization. */
#undef ENABLE_CANONICAL_SYSTEM_HEADERS #undef ENABLE_CANONICAL_SYSTEM_HEADERS
/* Define if you want more run-time sanity checks. */
#undef ENABLE_CHECKING
/* Define to 1 if translation of program messages to the user's native /* Define to 1 if translation of program messages to the user's native
language is requested. */ language is requested. */
#undef ENABLE_NLS #undef ENABLE_NLS

4
libcpp/configure vendored
View File

@ -7298,9 +7298,7 @@ IFS="$ac_save_IFS"
if test x$ac_checking != x ; then if test x$ac_checking != x ; then
$as_echo "#define ENABLE_CHECKING 1" >>confdefs.h $as_echo "#define CHECKING_P 1" >>confdefs.h
$as_echo "#define CHECKING_P 1" >>confdefs.h
else else
$as_echo "#define CHECKING_P 0" >>confdefs.h $as_echo "#define CHECKING_P 0" >>confdefs.h

View File

@ -164,8 +164,6 @@ done
IFS="$ac_save_IFS" IFS="$ac_save_IFS"
if test x$ac_checking != x ; then if test x$ac_checking != x ; then
AC_DEFINE(ENABLE_CHECKING, 1,
[Define if you want more run-time sanity checks.])
AC_DEFINE(CHECKING_P, 1, AC_DEFINE(CHECKING_P, 1,
[Define to 1 if you want more run-time sanity checks.]) [Define to 1 if you want more run-time sanity checks.])
else else