[llvm-bugs] [Bug 33435] New: template template argument bad deduction

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=33435

            Bug ID: 33435
           Summary: template template argument bad deduction
           Product: clang
           Version: 4.0
          Hardware: PC
                OS: MacOS X
            Status: NEW
          Severity: release blocker
          Priority: P
         Component: C++11
          Assignee: unassignedclangbugs at nondot.org
          Reporter: Sebastien_Levy at mentor.com
                CC: dgregor at apple.com, llvm-bugs at lists.llvm.org

Created attachment 18627
  --> https://bugs.llvm.org/attachment.cgi?id=18627&action=edit
Try to compile the file and see that there is a false positive about template
template argument deduction. All comments explain what the code is attempting
to achieve.

Since V4.0.0 of clang, a regression has appeared preventing template template
argument to be well deduced when template template deal with non-type
arguments.

The attached code works perfectly well on clang 3.9.0 on MacOS Sierra (and
previous versions) and does not compile (wrongly) using clang V4.0.0

See comments in file to see the current result using clang 4.0.0 then the
expected result using clang 3.9.0

-- 
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/20170613/023d4b5a/attachment.html>