Re: C aggregate passing (Rust kernel policy)

[Miguel Ojeda]

On Tue, Feb 25, 2025 at 11:38 PM Benno Lossin <benno.lossin@xxxxxxxxx> wrote:
>
> I do not get UB when I comment out any of the commented lines. Can you
> share the output of MIRI?

I think he means when only having one of the `pz`s definitions out of
the 4, i.e. uncommenting the first and commenting the last one that is
live in the example.

Cheers,
Miguel