[LLVMbugs] [Bug 11891] New: clang accepts-invalid with templates and abstract classes

[bugzilla-daemon at llvm.org]

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

             Bug #: 11891
           Summary: clang accepts-invalid with templates and abstract
                    classes
           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:

struct A { virtual void x() = 0; };
template<typename T> struct B { static void f(T); };  
void f() { B<A>::f(*(A*)0); }

This is clearly ridiculous, but clang somehow accepts it.

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