aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog2
-rw-r--r--gcc/ifcvt.c6
2 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9d178f6..b88b86c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,7 @@
2000-05-20 Alexandre Oliva <aoliva@cygnus.com>
+ * ifcvt.c (if_convert): Scan and kill dead code.
+
* emit-rtl.c (unshare_all_rtl): Store the copied rtx.
2000-05-20 Zack Weinberg <zack@wolery.cumb.org>
diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c
index d2bb6bd..dd7763d 100644
--- a/gcc/ifcvt.c
+++ b/gcc/ifcvt.c
@@ -2038,7 +2038,8 @@ if_convert (life_data_ok)
count_or_remove_death_notes (update_life_blocks, 1);
update_life_info (update_life_blocks, UPDATE_LIFE_LOCAL,
- PROP_DEATH_NOTES);
+ PROP_DEATH_NOTES | PROP_SCAN_DEAD_CODE
+ | PROP_KILL_DEAD_CODE);
sbitmap_free (update_life_blocks);
}
@@ -2058,6 +2059,7 @@ if_convert (life_data_ok)
}
#ifdef ENABLE_CHECKING
- verify_flow_info ();
+ if (life_data_ok)
+ verify_flow_info ();
#endif
}