This is the mail archive of the
mailing list for the GCC project.
Re: Ada files now checked in
- To: amylaar at onetel dot net dot uk, dnovillo at redhat dot com
- Subject: Re: Ada files now checked in
- From: dewar at gnat dot com
- Date: Sun, 14 Oct 2001 11:04:20 -0400 (EDT)
- Cc: bosch at gnat dot com, dewar at gnat dot com, gcc at gcc dot gnu dot org,kenner at vlsi1 dot ultra dot nyu dot edu, zack at codesourcery dot com
<<> - 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...
A warning is generally saying that IF the code is executed, THEN there
is a problem. Sure it is nice to delete such warnings in obviously
deactivated code (GNAT certainly does that, since the use of constant
booleans to achieve the effect of conditional compilation is standard
practice), but obviously this cannot be done in general. So if you
regard this as an unacceptable obstacle, you will have to get rid of
all warnings of runtime errors, which would be too bad.