gcc3 vs 176.gcc

[Joseph S. Myers]

On Wed, 9 Jan 2002, Joe Buck wrote:

> We could only do the proofs you ask for with a global dataflow analysis
> (crossing function boundaries), and this is not feasible.

The original report of the problem with SPEC claimed that in the case in
question a local examination of two insns suffices.

> Something like
> 
> warning: access to object of type `T1' as type `T2' violates ISO C: consider using unions

What does "of type `T1'" mean here?  Declared type, or effective type?  
Without dataflow analysis, we know neither type of the object, only the
type of a pointer to it.

-- 
Joseph S. Myers
jsm28@cam.ac.uk