diff --git a/gcc/c/c-parser.cc b/gcc/c/c-parser.cc index 3b1d2d45add..84deac04c44 100644 --- a/gcc/c/c-parser.cc +++ b/gcc/c/c-parser.cc @@ -13145,7 +13145,16 @@ c_parser_omp_variable_list (c_parser *parser, { location_t op_loc = c_parser_peek_token (parser)->location; if (c_parser_next_token_is (parser, CPP_DEREF)) - t = build_simple_mem_ref (t); + { + c_expr t_expr; + t_expr.value = t; + t_expr.original_code = ERROR_MARK; + t_expr.original_type = NULL; + set_c_expr_source_range (&t_expr, op_loc, op_loc); + t_expr = convert_lvalue_to_rvalue (op_loc, t_expr, + true, false); + t = build_indirect_ref (op_loc, t_expr.value, RO_ARROW); + } c_parser_consume_token (parser); if (!c_parser_next_token_is (parser, CPP_NAME)) { diff --git a/gcc/testsuite/gcc.dg/gomp/pr104532.c b/gcc/testsuite/gcc.dg/gomp/pr104532.c new file mode 100644 index 00000000000..1bf8e03c39f --- /dev/null +++ b/gcc/testsuite/gcc.dg/gomp/pr104532.c @@ -0,0 +1,15 @@ +/* PR c/104532 */ +/* { dg-do compile } */ + +void +foo (int x) +{ + #pragma omp target enter data map (to: x->vectors) /* { dg-error "invalid type argument of '->'" } */ +} /* { dg-error "must contain at least one" "" { target *-*-* } .-1 } */ + +void +bar (int x) +{ + #pragma omp target enter data map (to: x->vectors[]) /* { dg-error "invalid type argument of '->'" } */ +} /* { dg-error "must contain at least one" "" { target *-*-* } .-1 } */ + /* { dg-error "expected expression before" "" { target *-*-* } .-2 } */