<div dir="ltr">James, if this wasn't already done, please file a bug against MSVC so this can be fixed in future releases.<br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 28, 2015 at 8:46 PM, James Y Knight via cfe-commits <span dir="ltr"><<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: jyknight<br>
Date: Mon Dec 28 22:46:43 2015<br>
New Revision: 256535<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=256535&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=256535&view=rev</a><br>
Log:<br>
Revert "[TrailingObjects] Use a different technique to determine if a getDecl"<br>
<br>
This reverts commit r256534.<br>
<br>
Failed to build on MSVC with error:<br>
clang/ASTMatchers/ASTMatchersInternal.h(572): error C2228: left of '.getDecl' must have class/struct/union<br>
        type is 'add_rvalue_reference<_Ty>::type'<br>
<br>
(<a href="http://lab.llvm.org:8011/builders/lldb-x86-win7-msvc/builds/13873/steps/build/logs/stdio" rel="noreferrer" target="_blank">http://lab.llvm.org:8011/builders/lldb-x86-win7-msvc/builds/13873/steps/build/logs/stdio</a>)<br>
<br>
Modified:<br>
    cfe/trunk/include/clang/ASTMatchers/ASTMatchersInternal.h<br>
<br>
Modified: cfe/trunk/include/clang/ASTMatchers/ASTMatchersInternal.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/ASTMatchers/ASTMatchersInternal.h?rev=256535&r1=256534&r2=256535&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/ASTMatchers/ASTMatchersInternal.h?rev=256535&r1=256534&r2=256535&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/include/clang/ASTMatchers/ASTMatchersInternal.h (original)<br>
+++ cfe/trunk/include/clang/ASTMatchers/ASTMatchersInternal.h Mon Dec 28 22:46:43 2015<br>
@@ -558,19 +558,22 @@ bool matchesFirstInPointerRange(const Ma<br>
   return false;<br>
 }<br>
<br>
-/// Metafunction to determine if type T has a member called<br>
-/// getDecl.<br>
-///<br>
-/// There is a default template inheriting from "false_type". Then, a<br>
-/// partial specialization inherits from "true_type". However, this<br>
-/// specialization will only exist when the call to getDecl() isn't an<br>
-/// error -- it vanishes by SFINAE when the member doesn't exist.<br>
-template <typename> struct type_sink_to_void { typedef void type; };<br>
-template <typename T, typename = void> struct has_getDecl : std::false_type {};<br>
-template <typename T><br>
-struct has_getDecl<<br>
-    T, typename type_sink_to_void<decltype(std::declval<T>().getDecl())>::type><br>
-    : std::true_type {};<br>
+/// \brief Metafunction to determine if type T has a member called getDecl.<br>
+template <typename T> struct has_getDecl {<br>
+  struct Default { int getDecl; };<br>
+  struct Derived : T, Default { };<br>
+<br>
+  template<typename C, C> struct CheckT;<br>
+<br>
+  // If T::getDecl exists, an ambiguity arises and CheckT will<br>
+  // not be instantiable. This makes f(...) the only available<br>
+  // overload.<br>
+  template<typename C><br>
+  static char (&f(CheckT<int Default::*, &C::getDecl>*))[1];<br>
+  template<typename C> static char (&f(...))[2];<br>
+<br>
+  static bool const value = sizeof(f<Derived>(nullptr)) == 2;<br>
+};<br>
<br>
 /// \brief Matches overloaded operators with a specific name.<br>
 ///<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@lists.llvm.org">cfe-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div></div>