[cfe-commits] [Patch] Implement compiler intrinsics for MSVC 2012 type_traits

[Richard Smith]

Hi Ryan,

On Tue, Dec 11, 2012 at 7:36 PM, Ryan Molden <ryanmolden at gmail.com> wrote:
> On Mon, Dec 10, 2012 at 7:01 PM, João Matos <ripzonetriton at gmail.com> wrote:
>>
>> Any updates on this patch?
>>
>
> Sorry for the delay. Last I heard Chandler was a bit sick + time constrained
> due to the holidays and hasn't had time to put together his feedback in an
> e-mail. I have been amusing myself with non-Clang related activities for a
> bit, but this is definitely still on my radar.

Please rebase the patch against the latest trunk -- in order to
approximately match GCC, we now return false from the __has_trivial_*
and __has_nothrow_* builtins if the class has both a trivial such
special member and a nontrivial one.

Ultimately, I wonder if we should just ignore GCC's specification for
how these builtins should work, and instead implement the semantics of
the corresponding C++11 type traits here. It's actually not possible
to implement the traits correctly from the defined semantics of the
traits which libstdc++ and MSVC's STL use.