Re: [PATCH] driver core: faux: fix Undefined Behavior in faux_device_destroy()

[Miguel Ojeda]

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