diff options
| author | Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | 2017-02-19 09:14:38 +0000 |
|---|---|---|
| committer | Prathamesh Kulkarni <prathamesh3492@gcc.gnu.org> | 2017-02-19 09:14:38 +0000 |
| commit | 41d1b0b1ae32334d3f901811e5314081d4383b3d (patch) | |
| tree | 5c5905b9da3a7f3cf089cebbd089a94a5d0a6c3f /gcc/c | |
| parent | eab1f16915926a935c4dcfce3f1026c5e80100ff (diff) | |
| download | gcc-41d1b0b1ae32334d3f901811e5314081d4383b3d.zip gcc-41d1b0b1ae32334d3f901811e5314081d4383b3d.tar.gz gcc-41d1b0b1ae32334d3f901811e5314081d4383b3d.tar.bz2 | |
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
Diffstat (limited to 'gcc/c')
| -rw-r--r-- | gcc/c/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/c/gimple-parser.c | 9 |
2 files changed, 15 insertions, 0 deletions
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 0626973..5cff63a 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,5 +1,11 @@ 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 FMA_EXPR. diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c index 31d0a08..cb2b6af 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 (); |