[PATCH v2] c++/contracts: ICE with contract assert on non-empty statement [PR 117579]

* parser.cc (cp_parser_statement): Replace assertion with a conditional check that the statement containing a contract assert is empty. gcc/testsuite/ChangeLog: * g++.dg/contracts/pr117579.C: New test. Signed-off-by: Nina Ranns --- gcc/cp/parser.cc

[PATCH] c++/contracts: ICE with contract assert on non empty statement [PR 117579]

empty. gcc/testsuite/ChangeLog: * g++.dg/contracts/pr117579.C: New test. Signed-off-by: Nina Ranns --- gcc/cp/parser.cc | 6 -- gcc/testsuite/g++.dg/contracts/pr117579.C | 9 + 2 files changed, 13 insertions(+), 2 deletions(-) create mode 100644 gcc