diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c/gimple-parser.c | 8 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/gimplefe-error-12.c | 10 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c index c43ee38..f3d9935 100644 --- a/gcc/c/gimple-parser.c +++ b/gcc/c/gimple-parser.c @@ -1817,6 +1817,14 @@ c_parser_gimple_postfix_expression_after_primary (gimple_parser &parser, case CPP_DEREF: { /* Structure element reference. */ + if (!POINTER_TYPE_P (TREE_TYPE (expr.value))) + { + c_parser_error (parser, "dereference of non-pointer"); + expr.set_error (); + expr.original_code = ERROR_MARK; + expr.original_type = NULL; + return expr; + } c_parser_consume_token (parser); if (c_parser_next_token_is (parser, CPP_NAME)) { diff --git a/gcc/testsuite/gcc.dg/gimplefe-error-12.c b/gcc/testsuite/gcc.dg/gimplefe-error-12.c new file mode 100644 index 0000000..981ff7b --- /dev/null +++ b/gcc/testsuite/gcc.dg/gimplefe-error-12.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "-fgimple" } */ + +int get_current (); + +__GIMPLE +void foo() +{ + get_current()->flags; /* { dg-error "non-pointer" } */ +} |