diff options
| author | bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-14 07:51:58 +0000 |
|---|---|---|
| committer | bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-14 07:51:58 +0000 |
| commit | 5ccba2dcac8662892046f87b155676e2bde2a531 (patch) | |
| tree | 56353f3485cfb67af89ae4262894376f50a8e2c7 /gcc/df-core.c | |
| parent | c3e2d63e610d3b656592d3a600f5d0c105824589 (diff) | |
| download | gcc-5ccba2dcac8662892046f87b155676e2bde2a531.tar.gz | |
2007-06-14 Paolo Bonzini <bonzini@gnu.org>
* configure.ac: Add --enable-checking=df. Explicitly mention that
the variables are initialized as for "release".
* df-core.c: Use it.
* configure: Regenerate.
* config.in: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125698 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/df-core.c')
| -rw-r--r-- | gcc/df-core.c | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/gcc/df-core.c b/gcc/df-core.c index 68f6c5076e1..67a4040d50e 100644 --- a/gcc/df-core.c +++ b/gcc/df-core.c @@ -644,7 +644,7 @@ df_finish_pass (void) int i; int removed = 0; -#ifdef ENABLE_CHECKING +#ifdef ENABLE_DF_CHECKING enum df_changeable_flags saved_flags; #endif @@ -654,7 +654,7 @@ df_finish_pass (void) df_maybe_reorganize_def_refs (DF_REF_ORDER_NO_TABLE); df_maybe_reorganize_use_refs (DF_REF_ORDER_NO_TABLE); -#ifdef ENABLE_CHECKING +#ifdef ENABLE_DF_CHECKING saved_flags = df->changeable_flags; #endif @@ -684,7 +684,7 @@ df_finish_pass (void) df->analyze_subset = false; } -#ifdef ENABLE_CHECKING +#ifdef ENABLE_DF_CHECKING /* Verification will fail in DF_NO_INSN_RESCAN. */ if (!(saved_flags & DF_NO_INSN_RESCAN)) { @@ -1040,7 +1040,7 @@ df_analyze_problem (struct dataflow *dflow, { timevar_push (dflow->problem->tv_id); -#ifdef ENABLE_CHECKING +#ifdef ENABLE_DF_CHECKING if (dflow->problem->verify_start_fun) dflow->problem->verify_start_fun (); #endif @@ -1062,7 +1062,7 @@ df_analyze_problem (struct dataflow *dflow, if (dflow->problem->finalize_fun) dflow->problem->finalize_fun (blocks_to_consider); -#ifdef ENABLE_CHECKING +#ifdef ENABLE_DF_CHECKING if (dflow->problem->verify_end_fun) dflow->problem->verify_end_fun (); #endif @@ -1100,9 +1100,10 @@ df_analyze (void) df_compute_regs_ever_live (false); df_process_deferred_rescans (); -#ifdef ENABLE_CHECKING if (dump_file) fprintf (dump_file, "df_analyze called\n"); + +#ifdef ENABLE_DF_CHECKING df_verify (); #endif |