diff options
| author | Mikhail Maltsev <maltsevm@gmail.com> | 2017-05-11 12:27:37 +0000 |
|---|---|---|
| committer | Mikhail Maltsev <miyuki@gcc.gnu.org> | 2017-05-11 12:27:37 +0000 |
| commit | c587104e114652bea492bebbbc8373852578df69 (patch) | |
| tree | 9214bd31fe82d143b0a670e59b7b32368d5cc9c2 /gcc | |
| parent | 056a17ee6ca8f0fcd318d0dfba18f277e05a3579 (diff) | |
| download | gcc-c587104e114652bea492bebbbc8373852578df69.zip gcc-c587104e114652bea492bebbbc8373852578df69.tar.gz gcc-c587104e114652bea492bebbbc8373852578df69.tar.bz2 | |
GIMPLEFE: Handle invalid SSA names
gcc/testsuite/
PR testsuite/80580
* gcc.dg/gimplefe-error-6.c: New test.
gcc/c/
PR testsuite/80580
* gimple-parser.c (c_parser_parse_ssa_name): Validate SSA name base.
From-SVN: r247903
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/c/gimple-parser.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/gimplefe-error-6.c | 9 |
4 files changed, 26 insertions, 0 deletions
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 3bf4db2..69b1ac3 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,6 +1,11 @@ 2017-05-11 Mikhail Maltsev <maltsevm@gmail.com> PR testsuite/80580 + * gimple-parser.c (c_parser_parse_ssa_name): Validate SSA name base. + +2017-05-11 Mikhail Maltsev <maltsevm@gmail.com> + + PR testsuite/80580 * gimple-parser.c (c_parser_gimple_postfix_expression): Handle incorrect __MEM syntax. diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c index c0858b7..ed9e7c5 100644 --- a/gcc/c/gimple-parser.c +++ b/gcc/c/gimple-parser.c @@ -692,6 +692,13 @@ c_parser_parse_ssa_name (c_parser *parser, c_parser_error (parser, "base variable or SSA name undeclared"); return error_mark_node; } + if (!(VAR_P (parent) + || TREE_CODE (parent) == PARM_DECL + || TREE_CODE (parent) == RESULT_DECL)) + { + error ("invalid base %qE for SSA name", parent); + return error_mark_node; + } if (VECTOR_TYPE_P (TREE_TYPE (parent)) || TREE_CODE (TREE_TYPE (parent)) == COMPLEX_TYPE) DECL_GIMPLE_REG_P (parent) = 1; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 393d880..2b5f6ac 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,6 +1,11 @@ 2017-05-11 Mikhail Maltsev <maltsevm@gmail.com> PR testsuite/80580 + * gcc.dg/gimplefe-error-6.c: New test. + +2017-05-11 Mikhail Maltsev <maltsevm@gmail.com> + + PR testsuite/80580 * gcc.dg/gimplefe-error-5.c: New test. 2017-05-11 Mikhail Maltsev <maltsevm@gmail.com> diff --git a/gcc/testsuite/gcc.dg/gimplefe-error-6.c b/gcc/testsuite/gcc.dg/gimplefe-error-6.c new file mode 100644 index 0000000..c73b85c --- /dev/null +++ b/gcc/testsuite/gcc.dg/gimplefe-error-6.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ +/* { dg-options "-fgimple" } */ + +void a(int); + +__GIMPLE() void b() +{ + a_2 = 0; /* { dg-error "invalid" } */ +} |