[LLVMbugs] [Bug 18609] New: clang fails to reject partial specializations that are less specialized than the primary template

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18609
           Summary: clang fails to reject partial specializations that are
                    less specialized than the primary template
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
          Assignee: unassignedclangbugs at nondot.org
          Reporter: richard-llvm at metafoo.co.uk
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Clang accepts this ill-formed code:

  template<typename A, typename B> struct S {};
  template<typename...Ts> struct S<Ts...> {};

This is ill-formed because the partial specialization is less specialized than
the primary template. We presumably have the same bug in variable template
partial specializations.

GCC and EDG get this right.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140125/9a40f33c/attachment.html>