On Fri, 13 Jun 2025 19:15:56 +0000 marc.herbert@xxxxxxxxxxxxxxx wrote: > > doubts, I include a very short and simple demo below. I imagine kernel > compilation flags and various other conditions may not make the > consequences as bad as this example, however those conditions could change Yeah, the kernel uses `-fno-delete-null-pointer-checks`, so e.g. for your example: https://godbolt.org/z/hs49jb98o Cheers, Miguel