Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Wolf480pl (wolf480pl@mstdn.io)'s status on Sunday, 16-Feb-2025 02:43:54 JST Wolf480pl

   in reply to

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