From: Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
Date: Sun, 19 Feb 2017 09:14:38 +0000 (+0000)
Subject: gimple-parser.c (c_parser_gimple_postfix_expression): Check return value of c_parser_... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=41d1b0b1ae32334d3f901811e5314081d4383b3d;p=gcc.git

gimple-parser.c (c_parser_gimple_postfix_expression): Check return value of c_parser_parse_ssa_name against error_mark_node and emit...

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.

From-SVN: r245571
---

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 0626973d47a..5cff63a24d1 100644
--- 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
index 31d0a08d303..cb2b6af0cb1 100644
--- 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 ();