[llvm-bugs] [Bug 45699] New: Unexpanded parameter pack in 'requires clause' crashes the compiler

[via llvm-bugs]

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

            Bug ID: 45699
           Summary: Unexpanded parameter pack in 'requires clause' crashes
                    the compiler
           Product: clang
           Version: 10.0
          Hardware: Macintosh
                OS: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++2a
          Assignee: unassignedclangbugs at nondot.org
          Reporter: s92035 at gmail.com
                CC: blitzrakete at gmail.com, erik.pilkington at gmail.com,
                    llvm-bugs at lists.llvm.org, richard-llvm at metafoo.co.uk

Created attachment 23407
  --> https://bugs.llvm.org/attachment.cgi?id=23407&action=edit
Diagnostic Log and call trace

Steps to Reproduce
==================

- source file: Below as a minimal reproducible sample cpp file.
- This is surely a wrong usage of C++20 requires clause, but it crashes clang
10.0.0 on my Mac running MacOSX 10.15.
- The clang 10.0.0 was compiled and installed from Brew.
- clang++ concept_crash.cpp -std=c++20

template<typename>
concept true_con = true;

template<typename... Args>
void foo(Args&&...) requires true_con<Args> { }

int main() { foo(); }



Result
======

The clang compiler crashes with call trace printed. (Crash log in attachment)

-- 
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/20200427/ddeab0fb/attachment.html>