------- Comment #1 from manu at gcc dot gnu dot org 2009-01-24 16:05 ------- I am almost sure that this is CCP again assuming that the undefined value is the same as the constant assigned, hence x++ is converted to 0++. This can be checked using -fdump-tree-all-all-lineno.
If so, a duplicate of bug 18501. -- manu at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |manu at gcc dot gnu dot org OtherBugsDependingO| |24639 nThis| | Summary|No warning when using unset |No warning when using |variable |uninitialized variable http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38945