[cxx-abi-dev] Mangling late-specified return types/decltype

[Jason Merrill]

Jason Merrill wrote:
> Simplifications within sizeof/alignof/decltype:
> 
> lvalue forms:
> 
> var
> exp.member (where type of exp is not dependent)
> exp->member (ditto *exp and exp doesn't overload op->)
> *exp (where type of exp is known to be pointer to something)
> 
> rvalue forms:
> 
> T(args)
> literals
> rvalue.member
> 
> Should decltype(non-type-dependent expr) just get resolved to its type? 

I think so.  And decltype(one of these forms).

> Do we want to handle anything else specially?  And/or leave member 
> access out and mangle them using the normal rules?

Now I'm leaning toward leaving out member access, and only handling 
variables, derefs, conversions and literals specially.

Jason