Re: C aggregate passing (Rust kernel policy)

Benno Lossin
2025-02-25T23:03:57Z

On 25.02.25 23:47, Miguel Ojeda wrote:
> On Tue, Feb 25, 2025 at 11:38 PM Benno Lossin <benno.lossin@proton.me> 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.

Ah of course :facepalm:, thanks for clarifying :)

---
Cheers,
Benno