[cxx-abi-dev] mangling for aggregate initialization designators

[Richard Smith]

We have no mangling for C's designated initialization extension, but this
extension is supported in C++ mode by several of our implementations.

Clang and EDG reject designated initialization in an
instantiation-dependent expression in a signature (due to the lack of a
mangling, at least in Clang's case). GCC acts as if the designators aren't
there (which sort of matches its semantic model for them, but is incorrect
because GCC *does* support overloading on the chosen designator and using
it for SFINAE).

This wouldn't be the first extension for which we give a mangling; would it
be reasonable to add one here?

And how about adding ones for _Atomic types, and for C's _Generic
expression?

I have no good suggestion for an _Atomic mangling; every letter in
[ATOMICatomic] is already in use in a type context. (The prefix table is
missing an entry for C, FWIW.) Clang uses U7_Atomic, but that doesn't seem
ideal.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sourcerytools.com/pipermail/cxx-abi-dev/attachments/20150310/fb90c1ff/attachment.html>