From f99ad11af953568e1a01e4f4fe31cba0f11879a5 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 17 Feb 2022 10:29:06 +0100 Subject: [PATCH] openmp: Ensure proper diagnostics for -> in map/to/from clauses [PR104532] The following patch uses the functions normal CPP_DEREF parsing uses, i.e. convert_lvalue_to_rvalue and build_indirect_ref, instead of blindly calling build_simple_mem_ref, so that if the variable does not have correct type, we properly diagnose it instead of ICEing on it. 2022-02-17 Jakub Jelinek PR c/104532 * c-parser.cc (c_parser_omp_variable_list): For CPP_DEREF, use convert_lvalue_to_rvalue and build_indirect_ref instead of build_simple_mem_ref. * gcc.dg/gomp/pr104532.c: New test. --- gcc/c/c-parser.cc | 11 ++++++++++- gcc/testsuite/gcc.dg/gomp/pr104532.c | 15 +++++++++++++++ 2 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/gomp/pr104532.c diff --git a/gcc/c/c-parser.cc b/gcc/c/c-parser.cc index 3b1d2d4..84deac0 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 0000000..1bf8e03 --- /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 } */ -- 2.7.4