[cxx-abi-dev] Passing non-trivial types through ...

[John McCall]

On Aug 12, 2014, at 8:49 PM, Jason Merrill <jason at redhat.com> wrote:
> On 08/12/2014 07:06 PM, Nelson, Clark wrote:
>> The obvious next question is, exactly how would the implementation of va_arg work for non-trivial types?
> 
> For GCC and clang at least, va_arg is just defined to __builtin_va_arg, so it's easy for the compiler to do the right thing.

Right.  I think we’d want it to return an l-value of the target type, which means the changes won’t be completely trivial, but I don’t see any fundamental obstacles here.

John.