Re: C aggregate passing (Rust kernel policy)

[Benno Lossin]

On 25.02.25 23:47, Miguel Ojeda wrote:
> 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.

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

---
Cheers,
Benno