http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54544
Bug #: 54544
Summary: Option -Wuninitialized does not work as documented
with volatile
Classification: Unclassified
Product: gcc
Version: 4.6.3
Status: UNCONFIRMED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54544
Zakhar changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54544
Zakhar changed:
What|Removed |Added
Status|RESOLVED|UNCONFIRMED
Resolution|INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54544
--- Comment #4 from Zakhar 2012-09-11 21:09:28 UTC
---
MORE
Unfortunately, I don't think the hypothesis of the uninitialized pointed memory
hold. That should prove it if we add:
/*01*/ int fct(volatile int *p);
/*02*/
/*03*/ static int
/*0
