------- Comment #1 from pinskia at gcc dot gnu dot org 2007-07-15 21:05 ------- What is happening is that for the switch statement, we don't know that the value can't be just 0 or 1 at the point where we warn. We should be able to lower this switch statement into an if statement and get better results.
-- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pinskia at gcc dot gnu dot | |org Status|UNCONFIRMED |NEW Component|c |tree-optimization Ever Confirmed|0 |1 Keywords| |diagnostic Last reconfirmed|0000-00-00 00:00:00 |2007-07-15 21:05:38 date| | Summary|False claim of that "xyz is |False claim of that "xyz is |used uninitialized" |used uninitialized" http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32759