Serious code generation/optimisation bug (I think)

[Paolo Bonzini]

>>> 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.

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

Paolo