diff options
| author | Zdenek Dvorak <dvorakz@suse.cz> | 2007-04-27 22:40:26 +0200 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2007-04-27 20:40:26 +0000 |
| commit | 30251f7a3a5406def690197174f9769cecf152c8 (patch) | |
| tree | 087570880b62309f6060a8d11007bfeccdbbb2b6 /gcc/tree-cfgcleanup.c | |
| parent | e1535fe0c5c04202d35b11c818205f5577870cc1 (diff) | |
| download | gcc-30251f7a3a5406def690197174f9769cecf152c8.zip gcc-30251f7a3a5406def690197174f9769cecf152c8.tar.gz gcc-30251f7a3a5406def690197174f9769cecf152c8.tar.bz2 | |
tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info if it claims to be available.
* tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
if it claims to be available.
* tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
edge is redirected.
(perform_tree_ssa_dce): Always free postdominators.
From-SVN: r124236
Diffstat (limited to 'gcc/tree-cfgcleanup.c')
| -rw-r--r-- | gcc/tree-cfgcleanup.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/tree-cfgcleanup.c b/gcc/tree-cfgcleanup.c index 92ac237..aaf6ce8 100644 --- a/gcc/tree-cfgcleanup.c +++ b/gcc/tree-cfgcleanup.c @@ -615,7 +615,12 @@ cleanup_tree_cfg (void) calculate_dominance_info (CDI_DOMINATORS); } else - changed = false; + { +#ifdef ENABLE_CHECKING + verify_dominators (CDI_DOMINATORS); +#endif + changed = false; + } changed |= cleanup_tree_cfg_1 (); |