flow.c (update_life_info): Amend comment about when a register can become dead.

	* flow.c (update_life_info): Amend comment about when a register
	can become dead.

From-SVN: r73838

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index da8f09c..2502b4b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-11-22  J"orn Rennecke <joern.rennecke@superh.com>
+
+       * flow.c (update_life_info): Amend comment about when a register
+       can become dead.
+
 2003-11-21  Kelley Cook  <kcook@gcc.gnu.org>
 
        * doc/.cvsignore: Delete.

diff --git a/gcc/flow.c b/gcc/flow.c
index 7ad7a80..0dffb46 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -594,6 +594,9 @@ verify_local_live_at_start (regset new_live_at_start, basic_block bb)
    generates subregs of a multi-word pseudo, current life analysis will
    lose the kill.  So we _can_ have a pseudo go live.  How irritating.
 
+   It is also not true when a peephole decides that it doesn't need one
+   or more of the inputs.
+
    Including PROP_REG_INFO does not properly refresh regs_ever_live
    unless the caller resets it to zero.  */