https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96515
Bug ID: 96515
Summary: [concepts] Segfault on ill-formed pack expansions in
requires-expression
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: arthur.j.odwyer at gmail dot com
Target Milestone: ---
// https://godbolt.org/z/rafY6G
template<typename... Args>
concept PackHasAdd = (requires(Args... args) {
(args+1);
} && ...);
static_assert(PackHasAdd<int>);
int main() {}
Compile with GCC trunk (11.0.0), "g++ -std=c++20":
<source>:7:31: internal compiler error: Segmentation fault
7 | static_assert(PackHasAdd<int>);
| ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
