This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/42884] GCC (v4.3.3) fails to detect uninitialized variable
- From: "tstdenis at elliptictech dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Jan 2010 17:55:26 -0000
- Subject: [Bug c/42884] GCC (v4.3.3) fails to detect uninitialized variable
- References: <bug-42884-18720@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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