[LLVMbugs] [Bug 8020] New: clang c++ incorrectly accepts template keyword on non-template definition

[bugzilla-daemon at llvm.org]

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

           Summary: clang c++ incorrectly accepts template keyword on
                    non-template definition
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Keywords: accepts-invalid
          Severity: normal
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


Testcase:
template <typename T> struct X { X() {} };
template<> struct X<int> { X(); };
template X<int>::X() {}

clang accepts; for comparison, error from comeau:
"ComeauTest.c", line 3: error: "X<int>::X()" is not an entity that can be
          instantiated
  template X<int>::X() {} 
                   ^

"ComeauTest.c", line 3: error: expected a ";" (perhaps on the previous
statement)
  template X<int>::X() {} 
                       ^

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