------- Comment #5 from manu at gcc dot gnu dot org 2009-02-07 21:11 ------- This is clearly CCP. Probably a duplicate of 18501, better double check if 18501 is ever fixed.
The reason why uncommenting the block of code brings back the warning is that CCP cannot assume that foo is just 50 because it could also be 52, so it doesn't remove foo and then the late pass kicks in and detects a default definition in the PHI node. I bet the warning given is "may be used". -- manu at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- BugsThisDependsOn| |18501 Status|RESOLVED |UNCONFIRMED Resolution|DUPLICATE | Summary|gcc 4.1.1 missing |missing uninitialized |uninitialized variable |variable warning (CCP) |warnings | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30542