[LLVMbugs] [Bug 13591] New: __is_convertible_to is incorrect for abstract types

[bugzilla-daemon at llvm.org]

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: unassignedclangbugs at nondot.org
        ReportedBy: mimomorin at gmail.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    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.