Re: [pushed] c++: Allow subobject references in C++20.

2020-07-28 Thread Jakub Jelinek via Gcc-patches
On Mon, Jul 20, 2020 at 05:55:53PM -0400, Jason Merrill via Gcc-patches wrote: > +// { dg-final { scan-assembler _Z1g1AIXadixdtL_Z1bE1jLl1EEE } } > +void g(A<&b.j[0]+1>) {} > +TEQ(&b.j[1],&b.j[1]); > +TEQ(&b.j[1],&b.j[0]+1); > +TNEQ(&b.j[1],&b.j[0]); This test FAILs on e.g. x86_64 -m32. because th

[pushed] c++: Allow subobject references in C++20.

2020-07-20 Thread Jason Merrill via Gcc-patches
The last new thing allowed by P1907R1: subobject addresses as template arguments. The ABI group has discussed mangling for this; there has been some talk of a compressed subobject mangling, but it hasn't been finalized, so for now I'm using normal expression mangling. In order for two array subob