<div dir="ltr">On Wed, Aug 14, 2013 at 2:28 PM, Howard Hinnant <span dir="ltr"><<a href="mailto:hhinnant@apple.com" target="_blank">hhinnant@apple.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: hhinnant<br>
Date: Wed Aug 14 16:28:31 2013<br>
New Revision: 188413<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=188413&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=188413&view=rev</a><br>
Log:<br>
Relax complete-type check for functions and function pointers to allow void return type.  This bug was exposed by Eli Friedman's commit to clang r188324.  Anywhere this version of clang ships, this libc++ fix must follow.  However this fix is compatible with previous clangs, and so this libc++ doesn't need to wait for this clang.<br>

<br>
Modified:<br>
    libcxx/trunk/include/type_traits<br>
<br>
Modified: libcxx/trunk/include/type_traits<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/type_traits?rev=188413&r1=188412&r2=188413&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/type_traits?rev=188413&r1=188412&r2=188413&view=diff</a><br>

==============================================================================<br>
--- libcxx/trunk/include/type_traits (original)<br>
+++ libcxx/trunk/include/type_traits Wed Aug 14 16:28:31 2013<br>
@@ -2928,12 +2928,22 @@ struct __check_complete<_Rp (*)(_Param..<br>
 {<br>
 };<br>
<br>
+template <class ..._Param><br>
+struct __check_complete<void (*)(_Param...)><br>
+{<br>
+};<br>
+<br>
 template <class _Rp, class ..._Param><br>
 struct __check_complete<_Rp (_Param...)><br>
     : private __check_complete<_Rp><br>
 {<br>
 };<br>
<br>
+template <class ..._Param><br>
+struct __check_complete<void (_Param...)><br>
+{<br>
+};<br>
+<br>
 template <class _Rp, class _Class, class ..._Param><br>
 struct __check_complete<_Rp (_Class::*)(_Param...)><br>
     : private __check_complete<_Class><br>
<br><br></blockquote><div><br></div><div>Do we need a similar fix for member function pointers?  Or do we not check the return types for those?</div><div><br></div><div>-Eli</div></div></div></div>