2017-02-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>

* gimple-parser.c (c_parser_gimple_postfix_expression): Check return value of c_parser_parse_ssa_name against error_mark_node and emit error if ssa name is anonymous and written as default definition. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@245571 138bc75d-0d04-0410-961f-82ee72b054a4
wanke4558 · Feb 19, 2017 · 21bfe0d · 21bfe0d
1 parent a8deddc
commit 21bfe0d
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2017-02-19  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	* gimple-parser.c (c_parser_gimple_postfix_expression): Check return
+	value of c_parser_parse_ssa_name against error_mark_node and emit
+	error if ssa name is anonymous and written as default definition.
+
 2017-02-19  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
 
 	* gimple-parser.c (c_parser_gimple_postfix_expression): Handle

diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c
@@ -886,6 +886,8 @@ c_parser_gimple_postfix_expression (c_parser *parser)
 	      c_parser_consume_token (parser);
 	      expr.value = c_parser_parse_ssa_name (parser, id, NULL_TREE,
 						    version, ver_offset);
+	      if (expr.value == error_mark_node)
+		return expr;
 	      set_c_expr_source_range (&expr, tok_range);
 	      /* For default definition SSA names.  */
 	      if (c_parser_next_token_is (parser, CPP_OPEN_PAREN)
@@ -900,6 +902,13 @@ c_parser_gimple_postfix_expression (c_parser *parser)
 		  c_parser_consume_token (parser);
 		  if (! SSA_NAME_IS_DEFAULT_DEF (expr.value))
 		    {
+		      if (!SSA_NAME_VAR (expr.value))
+			{
+			  error_at (loc, "anonymous SSA name cannot have"
+				    " default definition");
+			  expr.value = error_mark_node;
+			  return expr;
+			}
 		      set_ssa_default_def (cfun, SSA_NAME_VAR (expr.value),
 					   expr.value);
 		      SSA_NAME_DEF_STMT (expr.value) = gimple_build_nop ();