This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada files now checked in
- To: dnovillo at redhat dot com (Diego Novillo)
- Subject: Re: Ada files now checked in
- From: Joern Rennecke <amylaar at onetel dot net dot uk>
- Date: Sun, 14 Oct 2001 15:14:52 +0100 (BST)
- Cc: zack at codesourcery dot com (Zack Weinberg), dewar at gnat dot com, bosch at gnat dot com, gcc at gcc dot gnu dot org, kenner at vlsi1 dot ultra dot nyu dot edu
> - if its only reaching definition is the ghost def, the variable
> *is* used uninitialized.
Not generally true. The uninitialized use might never be executed.
Back to the halting problem...