[llvm-bugs] [Bug 48617] New: Crash with empty parameter pack on variadic concept as return type constraint

[via llvm-bugs]

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

            Bug ID: 48617
           Summary: Crash with empty parameter pack on variadic concept as
                    return type constraint
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++2a
          Assignee: unassignedclangbugs at nondot.org
          Reporter: schottm at google.com
                CC: blitzrakete at gmail.com, erik.pilkington at gmail.com,
                    llvm-bugs at lists.llvm.org, richard-llvm at metafoo.co.uk

https://godbolt.org/z/6KE9ed

If a constraint on a return type ends up being given zero parameters for its
parameter pack, clang blows up with a very confusing crash and no useful
diagnostic. In addition, in certain situations if you explicitly specialize the
function template before calling it again without explicit template arguments,
the second inferred call will compile but only if preceded by the first call
with explicit args. Unfortunately I do not have a minimal repro of this case
yet but it is the way I initially encountered this bug.

-- 
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/20201228/e49392c0/attachment.html>