From mboxrd@z Thu Jan  1 00:00:00 1970
From: Diego Novillo <dnovillo@redhat.com>
To: "Joseph S. Myers" <jsm28@cam.ac.uk>
Cc: gcc@gcc.gnu.org
Subject: Re: Ada files now checked in
Date: Sat, 06 Oct 2001 14:10:00 -0000
Message-id: <20011006171034.A30573@tornado.cygnus.com>
References: <20011006163534.A29684@tornado.cygnus.com> <Pine.LNX.4.33.0110062158190.23503-100000@kern.srcf.societies.cam.ac.uk>
X-SW-Source: 2001-10/msg00447.html

On Sat, 06 Oct 2001, Joseph S. Myers wrote:

> On Sat, 6 Oct 2001, Diego Novillo wrote:
> 
> > Yes, this is already implemented in the ast-optimizer-branch.
> > The compiler computes reaching definitions for local variables
> > and emits a warning for every variable that might be used
> > uninitialized (tree-ssa.c:analyze_rdefs).
> 
> Does this fix some or all of the XFAILing gcc.dg/uninit-*.c testcases?
> 
Dunno.  I didn't know these existed.  Thanks for pointing it out.

Right now I'm shaking off false positives by bootstrapping with
-Wuninitialized.  Once I'm confident it's more or less stable, I
will add the flag to the regression tests.

First I need to disable the original warning, otherwise we won't
know which of the two are emitting the warning.

Diego.