[LLVMbugs] [Bug 13600] New: Missed diagnostic on use of array of abstract class

[bugzilla-daemon at llvm.org]

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

             Bug #: 13600
           Summary: Missed diagnostic on use of array of abstract class
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Testcase:

template<typename T> class C { public: virtual void f() = 0; };
C<int>(*x)[10];
void f() { (*x)[3].f(); }

This somehow passes clang's semantic analysis, even though it makes no sense.

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