Embed Notice

@sjb @tedu in the example I gave, the &p->y is, by definition, just pointer arithmetic.

So it won't segfault.
It might signed-overflow, but if the binary representation of null is zero, it probably won't.

But if optimizations are on, the compiler is free to use that statement as an excuse to remove the null check. Because if I did pointer arithmetic on p, then surely p can't be null, right?