From 41d1b0b1ae32334d3f901811e5314081d4383b3d Mon Sep 17 00:00:00 2001 From: Prathamesh Kulkarni Date: Sun, 19 Feb 2017 09:14:38 +0000 Subject: [PATCH] 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 * 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 --- gcc/c/ChangeLog | 6 ++++++ gcc/c/gimple-parser.c | 9 +++++++++ 2 files changed, 15 insertions(+) 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 + + * 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 * 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 ();