Re: C aggregate passing (Rust kernel policy)

Paul E. McKenney
2025-02-28T21:29:42Z

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@gmail.com> 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