diff mbox series

c/102763 - fix ICE with invalid input to GIMPLE FE

Message ID q4585poq-1n46-srq9-s8p7-o0op76p6q9s4@fhfr.qr
State New
Headers show
Series c/102763 - fix ICE with invalid input to GIMPLE FE | expand

Commit Message

Richard Biener Oct. 15, 2021, 8:20 a.m. UTC 
This fixes an ICE for the failure to verify we're dereferencing a
pointer before throwing that at build_simple_mem_ref.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

Richard.

2021-10-15  Richard Biener  <rguenther@suse.de>

	PR c/102763
gcc/c/
	* gimple-parser.c
	(c_parser_gimple_postfix_expression_after_primary): Check
	for a pointer do be dereferenced by ->.

gcc/testsuite/
	* gcc.dg/gimplefe-error-12.c: New testcase.
---
 gcc/c/gimple-parser.c                    |  8 ++++++++
 gcc/testsuite/gcc.dg/gimplefe-error-12.c | 10 ++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/gimplefe-error-12.c
diff mbox series

Patch

diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c
index c43ee38a2cf..f3d99355a8e 100644
--- a/gcc/c/gimple-parser.c
+++ b/gcc/c/gimple-parser.c
@@ -1817,6 +1817,14 @@  c_parser_gimple_postfix_expression_after_primary (gimple_parser &parser,
 	case CPP_DEREF:
 	  {
 	    /* Structure element reference.  */
+	    if (!POINTER_TYPE_P (TREE_TYPE (expr.value)))
+	      {
+		c_parser_error (parser, "dereference of non-pointer");
+		expr.set_error ();
+		expr.original_code = ERROR_MARK;
+		expr.original_type = NULL;
+		return expr;
+	      }
 	    c_parser_consume_token (parser);
 	    if (c_parser_next_token_is (parser, CPP_NAME))
 	      {
diff --git a/gcc/testsuite/gcc.dg/gimplefe-error-12.c b/gcc/testsuite/gcc.dg/gimplefe-error-12.c
new file mode 100644
index 00000000000..981ff7ba499
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gimplefe-error-12.c
@@ -0,0 +1,10 @@ 
+/* { dg-do compile } */
+/* { dg-options "-fgimple" } */
+
+int get_current ();
+
+__GIMPLE
+void foo()
+{
+  get_current()->flags; /* { dg-error "non-pointer" } */
+}