http://llvm.org/bugs/show_bug.cgi?id=13591

             Bug #: 13591
           Summary: __is_convertible_to is incorrect for abstract types
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++11
        AssignedTo: [email protected]
        ReportedBy: [email protected]
                CC: [email protected], [email protected]
    Classification: Unclassified


Is __is_convertible_to intrinsic implemented for C++11 std::is_convertible? 
Or, is it just emulating MS VC++'s __is_convertible_to intrinsic?
If the former is the case, then __is_convertible_to has a bug. 

`__is_convertible_to(From, To)` should return false_type when `To` is an
abstract type. However, for example, 

    struct abstract
    {
        virtual int f() = 0;
    };

`__is_convertible_to(abstract, abstract)` returns true_type. 
It seems that __is_convertible_to ignores the abstractness.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to