C constant expressions proposals

[Mark Mitchell]

Joe Buck wrote:

> On Wed, Aug 18, 2004 at 12:31:51PM -0400, Robert Dewar wrote:
> 
>>I am confused. Full detection of undefined variables requires full
>>flow analysis and solution of data flow equations.
> 
> 
> Agreed; you need lots of optimization to do a decent job of detection
> of undefined variables.
> 
> Even data flow equations don't really suffice to do an accurate job,
> as that approach misses correlations between branches.  Avoiding certain
> common kinds of false positives would require something like gated single
> assignment.

Heh, this is that discussion we've already had before.

I'm not going to fan the flames here.

-- 
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com