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

             Bug #: 12564
           Summary: Reference type matching in noexcept decls broke
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: release blocker
          Priority: P
         Component: C++11
        AssignedTo: [email protected]
        ReportedBy: [email protected]
                CC: [email protected], [email protected]
    Classification: Unclassified


This fails to compile in r154806 with "error: non-const lvalue reference to
type 'Base' cannot bind to a value of unrelated type 'Derived'". Calling
d.bar(d) in Derived::foo works fine.

struct Base {
    void bar(Base&) {}
};

struct Derived : Base {
    void foo(Derived& d) noexcept(noexcept(d.bar(d))) {}
};


libstdc++ uses this a lot internally, too.

-- 
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