diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/c/c-parser.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/noncompile/pr71583.c | 11 |
4 files changed, 23 insertions, 1 deletions
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index b1c42ff..a47b8a3 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2016-07-29 Marek Polacek <polacek@redhat.com> + + PR c/71583 + * c-parser.c (c_parser_postfix_expression_after_paren_type): Also + check expr.value. + 2016-07-22 Uros Bizjak <ubizjak@gmail.com> * c-typeck.c: Use HOST_WIDE_INT_1 instead of (HOST_WIDE_INT) 1, diff --git a/gcc/c/c-parser.c b/gcc/c/c-parser.c index 8952bca..a86cae2 100644 --- a/gcc/c/c-parser.c +++ b/gcc/c/c-parser.c @@ -8232,7 +8232,9 @@ c_parser_postfix_expression_after_paren_type (c_parser *parser, set_c_expr_source_range (&expr, init.src_range); expr.original_code = ERROR_MARK; expr.original_type = NULL; - if (type != error_mark_node && type_expr) + if (type != error_mark_node + && expr.value != error_mark_node + && type_expr) { if (TREE_CODE (expr.value) == C_MAYBE_CONST_EXPR) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9960fb0..c1df9e9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -3,6 +3,9 @@ PR c/71574 * c-c++-common/pr71574.c: New test. + PR c/71583 + * gcc.dg/noncompile/pr71583.c: New test. + 2016-07-29 Kugan Vivekanandarajah <kuganv@linaro.org> PR middle-end/68217 diff --git a/gcc/testsuite/gcc.dg/noncompile/pr71583.c b/gcc/testsuite/gcc.dg/noncompile/pr71583.c new file mode 100644 index 0000000..5045b88 --- /dev/null +++ b/gcc/testsuite/gcc.dg/noncompile/pr71583.c @@ -0,0 +1,11 @@ +/* PR c/71583 */ +/* { dg-do compile } */ + +void +f (int i) +{ + (int (*)[++i]) { int }; /* { dg-error "expected" } */ + (int (*)[++i]) { }; /* { dg-error "empty" } */ + (int (*)[++i]) { , }; /* { dg-error "expected" } */ + (int (*)[++i]) { f () }; /* { dg-error "too few" } */ +} |