This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: gcc.c-torture/unsorted/pass.c: what is it supposed to test?
- From: law at redhat dot com
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: "Joseph S. Myers" <jsm at polyomino dot org dot uk>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, Jason Merrill <jason at redhat dot com>
- Date: Fri, 27 Feb 2004 11:44:07 -0700
- Subject: Re: gcc.c-torture/unsorted/pass.c: what is it supposed to test?
- Reply-to: law at redhat dot com
In message <1077906408.15336.80.camel@localhost.localdomain>, Diego Novillo wri
tes:
>On Fri, 2004-02-27 at 13:17, law@redhat.com wrote:
>
>> To do anything "bad" with such a node it would have to be casted back to
>> a pointer, then dereferenced. If that happens then I'm pretty sure all
>> the right things would happen.
>>
>Ah, but the points-to chaser will see a pointer being assigned into a
>non-pointer scalar and throw its hands up, saying "I don't know what
>you're pointing to". TBAA will then DTRT based on the types, but we
>will lose precision. Not the end of the world, of course.
I don't mind losing precision in this case -- I would expect that
casting pointers to integers is done a lot less often these days
than it used to be.
jeff