On Tue, Jan 27, 2009 at 11:35 AM, Paolo Bonzini <bonz...@gnu.org> wrote:
>>>> Not for PTA though ;)
>>> Care to expand?
>>
>> PTA tracks points-to-NULL as pointing to "nothing".
>> This probably should be conditional on -fdelete-null-pointer-checks.
>> Otherwise *NULL and *anything won't alias.
>
> Yes, you're right.  I'll see if I can construct a testcase and a patch.

Thanks.

> BTW, I was thinking of not doing the optimization anyway on volatile
> pointers.  What do you think?

It should be taken care of automatically by loading it from memory
before each dereference, no?

Richard.

> Paolo
>

Reply via email to