http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49754
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-10-04
CC| |manu at gcc dot gnu.org
Component|c |middle-end
Summary|Let gcc warn about all |Wuninitialized does not
|uninitialized variables |work with
| |structs/unions/arrays
Ever Confirmed|0 |1
--- Comment #6 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-10-04
08:23:24 UTC ---
This is a problem of representation. Struct/unions/arrays are represented as
memory operations, and Wuninitialized does not (generally) work on them. It may
warn in some corner cases if the accesses can be converted into scalar
variables, but in general it doesn't work.
I am not even sure if the current middle-end representation can tell whether
the memory is uninitialized and never initialized up to the point of use. That
would be the first thing to implement.
