On Mon, Aug 13, 2012 at 5:29 AM, Howard Hinnant <[email protected]> wrote:
> Author: hhinnant
> Date: Mon Aug 13 07:29:17 2012
> New Revision: 161755
>
> URL: http://llvm.org/viewvc/llvm-project?rev=161755&view=rev
> Log:
> Patch constributed by Michel Moren in 
> http://llvm.org/bugs/show_bug.cgi?id=13592 .  Fixes is_convertible<From, To> 
> when To is an abstract type.
>
> Modified:
>     libcxx/trunk/include/type_traits
>
> Modified: libcxx/trunk/include/type_traits
> URL: 
> http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/type_traits?rev=161755&r1=161754&r2=161755&view=diff
> ==============================================================================
> --- libcxx/trunk/include/type_traits (original)
> +++ libcxx/trunk/include/type_traits Mon Aug 13 07:29:17 2012
> @@ -612,7 +612,8 @@
>  #if __has_feature(is_convertible_to)
>
>  template <class _T1, class _T2> struct _LIBCPP_VISIBLE is_convertible
> -    : public integral_constant<bool, __is_convertible_to(_T1, _T2)> {};
> +    : public integral_constant<bool, __is_convertible_to(_T1, _T2) &&
> +                                     !is_abstract<_T2>::value> {};

I committed a fix to clang in r161828.

-Eli
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to