From ac4eb40f5c7069b39eb847a136a1f690bb5444b2 Mon Sep 17 00:00:00 2001
From: Mikhail Maltsev <maltsevm@gmail.com>
Date: Thu, 11 May 2017 10:48:54 +0000
Subject: [PATCH] GIMPLEFE: Handle invalid unary "*" operand type
gcc/c/
PR testsuite/80580
* gimple-parser.c (c_parser_gimple_unary_expression): Check argument
type of unary '*'.
gcc/testsuite/
PR testsuite/80580
* gcc.dg/gimplefe-error-4.c: New test.
From-SVN: r247899
---
gcc/c/ChangeLog | 6 ++++++
gcc/c/gimple-parser.c | 5 +++++
gcc/testsuite/ChangeLog | 5 +++++
gcc/testsuite/gcc.dg/gimplefe-error-4.c | 7 +++++++
4 files changed, 23 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/gimplefe-error-4.c
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 5d6c6ef2ff2c..ac05c3a2b76a 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-11 Mikhail Maltsev <maltsevm@gmail.com>
+
+ PR testsuite/80580
+ * gimple-parser.c (c_parser_gimple_unary_expression): Check argument
+ type of unary '*'.
+
2017-05-09 Nathan Sidwell <nathan@acm.org>
* c-tree.h (pushdecl): Declare.
diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c
index 0d6384b55c23..c6c2f7aa5dc2 100644
--- a/gcc/c/gimple-parser.c
+++ b/gcc/c/gimple-parser.c
@@ -567,6 +567,11 @@ c_parser_gimple_unary_expression (c_parser *parser)
op = c_parser_gimple_postfix_expression (parser);
if (op.value == error_mark_node)
return ret;
+ if (! POINTER_TYPE_P (TREE_TYPE (op.value)))
+ {
+ error_at (op_loc, "expected pointer as argument of unary %<*%>");
+ return ret;
+ }
finish = op.get_finish ();
location_t combined_loc = make_location (op_loc, op_loc, finish);
ret.value = build_simple_mem_ref_loc (combined_loc, op.value);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d7d1d04cb693..dfd8670e8be5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-05-11 Mikhail Maltsev <maltsevm@gmail.com>
+
+ PR testsuite/80580
+ * gcc.dg/gimplefe-error-4.c: New test.
+
2017-05-10 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* gcc.target/powerpc/p8-vec-xl-xst.c: New file.
diff --git a/gcc/testsuite/gcc.dg/gimplefe-error-4.c b/gcc/testsuite/gcc.dg/gimplefe-error-4.c
new file mode 100644
index 000000000000..b2ca796656bc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gimplefe-error-4.c
@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+/* { dg-options "-fgimple" } */
+
+__GIMPLE() void a()
+{
+ *0 = 1; /* { dg-error "expected pointer" } */
+}
--
GitLab