Re: C aggregate passing (Rust kernel policy)
From: Paul E. McKenney
Date: Fri Feb 28 2025 - 16:29:53 EST
On Thu, Feb 27, 2025 at 04:33:19PM -0500, Steven Rostedt wrote:
> On Thu, 27 Feb 2025 20:47:22 +0000
> David Laight <david.laight.linux@xxxxxxxxx> wrote:
>
> > Except that (IIRC) it is actually valid for the compiler to write something
> > entirely unrelated to a memory location before writing the expected value.
> > (eg use it instead of stack for a register spill+reload.)
> > Not gcc doesn't do that - but the standard lets it do it.
>
> I call that a bug in the specification ;-)
Please feel free to write a working paper to get it changed. ;-)
Thanx, Paul