This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada files now checked in
- To: Joe Buck <jbuck at synopsys dot com>
- Subject: Re: Ada files now checked in
- From: Diego Novillo <dnovillo at redhat dot com>
- Date: Mon, 15 Oct 2001 13:36:47 -0400
- Cc: Joern Rennecke <amylaar at onetel dot net dot uk>, 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, zack at codesourcery dot com
- Organization: Red Hat Canada
- References: <20011014175801.A17044@tornado.cygnus.com> <200110151649.JAA16984@atrus.synopsys.com>
On Mon, 15 Oct 2001, Joe Buck wrote:
> > This warning is not on by default, it's only triggered by
> > -Wuninitialized. I expect more false positives for the 'maybe
> > used uninitialized' message. Mostly because we are emitting the
> > warning before any optimizations are performed.
>
> Ouch. You mean, even before constant folding and elimination of a
> not-taken branch of an "if"? That would greatly increase the number of
> false positives over what we have now.
>
Right now, yes. Over time we will start moving this warning down
the transformation chain. There is work in progress to add
constant propagation that should run before this.
Of course, if you move this down too much you will go back to the
problem of only supporting -Wuninitialized only if -O is used.
Or maybe we could allow cleanup passes to run whenever
-Wuninitialized is used. It's only a matter of deciding when to
run it, really. The basic analysis won't change.
Diego.