Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk?
-- >8 --
This test crashes with -fopenmp -freflection because consteval_only_p
gets
<omp_clause 0x7fffe99db120
type <tree_vec 0x7fffe982b900 length:3>
reduction
op-0: <var_decl 0x7fffe99d6390 acc>
op-1: <init_expr 0x7fffe99c9870>
op-2: <bind_expr 0x7fffe982b8a0>
op-3: <var_decl 0x7fffe99d6428 D.2864>
op-4:>
so it takes its type, but complete_type crashes on a TREE_VEC.
So let's handle TREE_VEC in consteval_only_p.
PR c++/124227
gcc/cp/ChangeLog:
* reflect.cc (consteval_only_p): Handle TREE_VEC.
gcc/testsuite/ChangeLog:
* g++.dg/reflect/pr124227.C: New test.
---
gcc/cp/reflect.cc | 8 ++++++++
gcc/testsuite/g++.dg/reflect/pr124227.C | 15 +++++++++++++++
2 files changed, 23 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/reflect/pr124227.C
diff --git a/gcc/cp/reflect.cc b/gcc/cp/reflect.cc
index 522b7c06a29..5254ac028d1 100644
--- a/gcc/cp/reflect.cc
+++ b/gcc/cp/reflect.cc
@@ -8086,6 +8086,14 @@ consteval_only_p (tree t)
if (!t)
return false;
+ if (TREE_CODE (t) == TREE_VEC)
+ {
+ for (tree arg : tree_vec_range (t))
+ if (arg && consteval_only_p (arg))
+ return true;
+ return false;
+ }
+
/* We need the complete type otherwise we'd have no fields for class
templates and thus come up with zilch for things like
template<typename T>
diff --git a/gcc/testsuite/g++.dg/reflect/pr124227.C
b/gcc/testsuite/g++.dg/reflect/pr124227.C
new file mode 100644
index 00000000000..09e14043567
--- /dev/null
+++ b/gcc/testsuite/g++.dg/reflect/pr124227.C
@@ -0,0 +1,15 @@
+// PR c++/124227
+// { dg-do compile { target c++26 } }
+// { dg-additional-options "-freflection -fopenmp" }
+// { dg-require-effective-target fopenmp }
+
+using b = float;
+template <typename> class c {};
+#pragma omp declare reduction(d : c<float> : omp_in)
+auto e = [] {
+c<b> acc;
+#pragma omp parallel reduction(d : acc)
+{
+}
+};
+
base-commit: d95d65c4a6277aa026cfd39c4564939ae298a0ba
--
2.53.0
