[Bug c++/94107] New: Infinite loop with malformed requires-expression inside a static_assert

[ppalka at gcc dot gnu.org]

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 { );
      |                           ^
...