This avoids ICEing by making sure to propagate error early.
Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
2020-12-09 Richard Biener <rguent...@suse.de>
PR c/98200
gcc/c/
* gimple-parser.c (c_parser_gimple_postfix_expression): Return
early on error.
* gcc.dg/gimplefe-error-8.c: New testcase.
---
gcc/c/gimple-parser.c | 2 ++
gcc/testsuite/gcc.dg/gimplefe-error-8.c | 9 +++++++++
2 files changed, 11 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/gimplefe-error-8.c
diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c
index 5c0ed826119..473cb900481 100644
--- a/gcc/c/gimple-parser.c
+++ b/gcc/c/gimple-parser.c
@@ -1700,6 +1700,8 @@ c_parser_gimple_postfix_expression (gimple_parser &parser)
expr.set_error ();
break;
}
+ if (expr.value == error_mark_node)
+ return expr;
return c_parser_gimple_postfix_expression_after_primary
(parser, EXPR_LOC_OR_LOC (expr.value, loc), expr);
}
diff --git a/gcc/testsuite/gcc.dg/gimplefe-error-8.c
b/gcc/testsuite/gcc.dg/gimplefe-error-8.c
new file mode 100644
index 00000000000..59e81eb4b32
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gimplefe-error-8.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-fgimple" } */
+
+int __GIMPLE() f(int x, int y)
+{
+ int a;
+ a = (x < y) ? 1 : 2; /* { dg-error "expected" } */
+ return a;
+}
--
2.26.2
