openmp: Check for PARM_DECL before using C_ARRAY_PARAMETER or DECL_ARRAY_PARAMETER_P...

The C++ macro performs a PARM_DECL_CHECK, so will ICE if not tested on a PARM_DECL,
C_ARRAY_PARAMETER doesn't, but probably should, otherwise it is testing e.g.
C_DECL_VARIABLE_SIZE on VAR_DECLs.

2020-09-01  Jakub Jelinek  <jakub@redhat.com>

	PR c++/96867
	* c-typeck.c (handle_omp_array_sections_1): Test C_ARRAY_PARAMETER
	only on PARM_DECLs.

	* semantics.c (handle_omp_array_sections_1): Test
	DECL_ARRAY_PARAMETER_P only on PARM_DECLs.

	* c-c++-common/gomp/pr96867.c: New test.

diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c
index e158d23..bb27099 100644 (file)
--- a/gcc/c/c-typeck.c
+++ b/gcc/c/c-typeck.c
@@ -13298,7 +13298,7 @@ handle_omp_array_sections_1 (tree c, tree t, vec<tree> &types,
     {
       if (length == NULL_TREE)
        {
-         if (C_ARRAY_PARAMETER (ret))
+         if (TREE_CODE (ret) == PARM_DECL && C_ARRAY_PARAMETER (ret))
            error_at (OMP_CLAUSE_LOCATION (c),
                      "for array function parameter length expression "
                      "must be specified");

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index 7f861fd..107d39d 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -5083,7 +5083,7 @@ handle_omp_array_sections_1 (tree c, tree t, vec<tree> &types,
     {
       if (length == NULL_TREE)
        {
-         if (DECL_ARRAY_PARAMETER_P (ret))
+         if (TREE_CODE (ret) == PARM_DECL && DECL_ARRAY_PARAMETER_P (ret))
            error_at (OMP_CLAUSE_LOCATION (c),
                      "for array function parameter length expression "
                      "must be specified");

diff --git a/gcc/testsuite/c-c++-common/gomp/pr96867.c b/gcc/testsuite/c-c++-common/gomp/pr96867.c
new file mode 100644 (file)
index 0000000..f55d9cf
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/gomp/pr96867.c
@@ -0,0 +1,9 @@
+/* PR c++/96867 */
+
+int *v;
+
+void
+foo (int x)
+{
+  #pragma omp target update to (x, v[:])       /* { dg-error "for pointer type length expression must be specified" } */
+}