------- Additional Comments From dnovillo at gcc dot gnu dot org 2005-01-13 20:14 -------
Confirmed. It doesn't work on mainline either. The warning machinery is getting confused with the first V_MAY_DEF to j in the first call to 'bar()'. It would probably not be too hard to fix for 4.0. <bb 0>: # j_7 = V_MAY_DEF <j_3>; D.1124_2 = bar (i_1); if (D.1124_2 != 0) goto <L0>; else goto <L1>; <L0>:; # j_8 = V_MAY_DEF <j_7>; baz (&j); # j_6 = PHI <j_7(0), j_8(1)>; <L1>:; # VUSE <j_6>; D.1125_4 = j; return D.1125_4; -- What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |dnovillo at gcc dot gnu dot |dot org |org Status|UNCONFIRMED |ASSIGNED Ever Confirmed| |1 Last reconfirmed|0000-00-00 00:00:00 |2005-01-13 20:14:30 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19430