[cfe-commits] r140931 - in /cfe/trunk: include/clang/Basic/DiagnosticSemaKinds.td include/clang/Sema/AttributeList.h include/clang/Sema/Sema.h lib/Sema/SemaDeclAttr.cpp lib/Sema/SemaExpr.cpp lib/Sema/SemaType.cpp test/Parser/MicrosoftExtensions.c

[John McCall]

On Oct 7, 2011, at 9:12 AM, Nico Weber wrote:
>> It's definitely a natural qualifier — lvalue-to-rvalue drops it, T* is a
>> subtype of T may_alias *, it propagates along member accesses, etc.
>> 
>> We don't always follow GCC's lead on canonical typing;  notably,
>> noreturn and calling conventions are part of a canonical function
>> type in Clang, although unfortunately we don't mangle them right
>> now.  I'm okay with that applying here, too, although I do think we
>> should mangle it.
> 
> Wait, wouldn't mangling this mean that client programs built with
> clang can't link against a libglib.so built by gcc?

My understanding is that glib is a C library and would not be impacted
by C++ mangling changes.  In any case, it wouldn't matter unless they
actually have APIs specified in terms of pointers to may_alias, which
is not the usual use for may_alias.

John.