This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: gcc3 vs 176.gcc
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Joe Buck <jbuck at synopsys dot COM>
- Cc: <dewar at gnat dot com>, <aj at suse dot de>, <dalej at apple dot com>, <gcc at gcc dot gnu dot org>
- Date: Wed, 9 Jan 2002 21:08:23 +0000 (GMT)
- Subject: Re: gcc3 vs 176.gcc
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