From mboxrd@z Thu Jan  1 00:00:00 1970
From: Zack Weinberg <zack@codesourcery.com>
To: dewar@gnat.com
Cc: bosch@gnat.com, gcc@gcc.gnu.org, kenner@vlsi1.ultra.nyu.edu
Subject: Re: Ada files now checked in
Date: Sat, 06 Oct 2001 10:02:00 -0000
Message-id: <20011006100159.S9432@codesourcery.com>
References: <20011006163945.70459F28AE@nile.gnat.com>
X-SW-Source: 2001-10/msg00412.html

On Sat, Oct 06, 2001 at 12:39:45PM -0400, dewar@gnat.com wrote:
> <<Completely agreed, and there is work in progress to improve these
> warnings.
> >>
> 
> Ah, that's *very* interesting, can you tell me more? In particular that
> news means I can probably retire the work on trying to do this in the
> GNAT front end (we already catch quite a bit there, but do not yet catch
> cases involving conditionals).

I'm not sure if anyone has actually *proposed* this, but code is being
written to do data flow analysis on whole-function trees; since trees
retain much more information about user variables and source
positions, it would be possible to tag the exact location that the
compiler thought an uninitialized value could reach.

You might want to check out the ast-optimizer-branch.

zw