diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c/gimple-parser.cc | 10 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/gimplefe-54.c | 10 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gcc/c/gimple-parser.cc b/gcc/c/gimple-parser.cc index 81f3921..4763cf2 100644 --- a/gcc/c/gimple-parser.cc +++ b/gcc/c/gimple-parser.cc @@ -664,6 +664,16 @@ c_parser_gimple_compound_statement (gimple_parser &parser, gimple_seq *seq) break; } + case CPP_CLOSE_PAREN: + case CPP_CLOSE_SQUARE: + /* Avoid infinite loop in error recovery: + c_parser_skip_until_found stops at a closing nesting + delimiter without consuming it, but here we need to consume + it to proceed further. */ + c_parser_error (parser, "expected statement"); + c_parser_consume_token (parser); + break; + default: expr_stmt: c_parser_gimple_statement (parser, seq); diff --git a/gcc/testsuite/gcc.dg/gimplefe-54.c b/gcc/testsuite/gcc.dg/gimplefe-54.c new file mode 100644 index 0000000..71a49ac --- /dev/null +++ b/gcc/testsuite/gcc.dg/gimplefe-54.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "-fgimple" } */ + +/* PR c/117741 */ +/* Make sure after a parsing error we + don't go into an infinite loop. */ + +int i; +void __GIMPLE foo() { + i = ) /* { dg-error "" } */ |