https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94107
Bug ID: 94107
Summary: Infinite loop with malformed requires-expression
inside a static_assert
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: ppalka at gcc dot gnu.org
Target Milestone: ---
$ cat loop.C
static_assert(requires { );
$ g++ -std=c++2a loop.C
loop.C:1:26: error: expected primary-expression before ‘)’ token
1 | static_assert(requires { );
| ^
loop.C:1:27: error: expected primary-expression at end of input
1 | static_assert(requires { );
| ^
loop.C:1:28: error: expected ‘;’ at end of input
1 | static_assert(requires { );
| ~^
| ;
loop.C:1:27: error: expected primary-expression at end of input
1 | static_assert(requires { );
| ^
loop.C:1:28: error: expected ‘;’ at end of input
1 | static_assert(requires { );
| ~^
| ;
loop.C:1:27: error: expected primary-expression at end of input
1 | static_assert(requires { );
| ^
loop.C:1:28: error: expected ‘;’ at end of input
1 | static_assert(requires { );
| ~^
| ;
loop.C:1:27: error: expected primary-expression at end of input
1 | static_assert(requires { );
| ^
loop.C:1:28: error: expected ‘;’ at end of input
1 | static_assert(requires { );
| ~^
| ;
loop.C:1:27: error: expected primary-expression at end of input
1 | static_assert(requires { );
| ^
...
