[Bug c++/117579] New: [contracts] contract assertion on a non empty statement causes an ICE

[dinka.ranns at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117579

            Bug ID: 117579
           Summary: [contracts] contract assertion on a non empty
                    statement causes an ICE
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dinka.ranns at gmail dot com
  Target Milestone: ---

Adding a statement after a contract assertion causes an ICE.

Test case :


void f(){};
int main()
{

   [[assert: true]]
   f();
}