Paolo Bonzini 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. > > BTW, I was thinking of not doing the optimization anyway on volatile > pointers. What do you think?
Indeed not. And with -fnon-call-exceptions we can recover from null pointer traps; I don't know what would happen in this case. Andrew.
