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

[Nelson, Clark]

> In C++11 this is conditionally-supported with implementation-
> defined
> behavior.  G++ has disallowed this via either runtime abort or
> error
> since GCC 3.2, but a customer recently asked us to allow it, and
> it
> occurs to me that the obvious way around the problems with bitwise
> copying is to implement this as pass-by-invisible-reference, just
> like
> normal value argument passing.  Any objections?

The obvious next question is, exactly how would the implementation of va_arg work for non-trivial types? Would new magic be required? Or would the already-existing flavors of magic be enough? (Of course these are not strictly ABI questions.)

Clark