c++: Ensure OpenMP reduction with reference type references complete type [PR101516]

The following testcase ICEs because we haven't verified if reduction decl
has reference type that TREE_TYPE of the reference is a complete type,
require_complete_type on the decl doesn't ensure that.

2021-07-21  Jakub Jelinek  <jakub@redhat.com>

	PR c++/101516
	* semantics.c (finish_omp_reduction_clause): Also call
	complete_type_or_else and return true if it fails.

	* g++.dg/gomp/pr101516.C: New test.
This commit is contained in:
Jakub Jelinek 2021-07-21 09:38:59 +02:00
parent b3d4011ba1
commit aea199f96c
2 changed files with 10 additions and 1 deletions

View File

@ -6070,7 +6070,8 @@ finish_omp_reduction_clause (tree c, bool *need_default_ctor, bool *need_dtor)
if (!processing_template_decl)
{
t = require_complete_type (t);
if (t == error_mark_node)
if (t == error_mark_node
|| !complete_type_or_else (oatype, NULL_TREE))
return true;
tree size = size_binop (EXACT_DIV_EXPR, TYPE_SIZE_UNIT (oatype),
TYPE_SIZE_UNIT (type));

View File

@ -0,0 +1,8 @@
// PR c++/101516
void
foo (int (&v) [])
{
#pragma omp parallel reduction (+:v) // { dg-error "invalid use of array with unspecified bounds" }
;
}