[Bug c/42884] GCC (v4.3.3) fails to detect uninitialized variable

tstdenis at elliptictech dot com gcc-bugzilla@gcc.gnu.org
Wed Jan 27 17:55:00 GMT 2010



------- Comment #17 from tstdenis at elliptictech dot com  2010-01-27 17:55 -------
(In reply to comment #16)
> No, it's an implementation detail.  Uninitialized variable use tracking
> works with detecting uses of SSA name default definitions.  Memory 
> is not in SSA form so this mechanism does not work.
> 
> Uninitialized memory detection is not done at all.
> 

Forgive me for I know not much of the GCC internals (I use GCC, I don't develop
it), but are you saying that any use of address-of on a variable kicks it out
of contention for unused tracking?  Even if it's not on a direct path (e.g.,
not always executed)?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42884



More information about the Gcc-bugs mailing list