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