Tested x86_64-pc-linux-gnu, applying to trunk.
-- >8 --
Incredibly, a patch that I just pushed (r16-7140-g101f2970adc0a7) fixed
this ICE.
I notice that we don't emit the diag_array_subscript diagnostic because
slice calls fold_non_dependent_expr which calls _eval_outermost with
allow_non_constant=true. I wonder if we want to change this.
PR c++/123871
gcc/testsuite/ChangeLog:
* g++.dg/reflect/error11.C: New test.
---
gcc/testsuite/g++.dg/reflect/error11.C | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/reflect/error11.C
diff --git a/gcc/testsuite/g++.dg/reflect/error11.C
b/gcc/testsuite/g++.dg/reflect/error11.C
new file mode 100644
index 00000000000..d6c94fb276e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/reflect/error11.C
@@ -0,0 +1,22 @@
+// PR c++/123871
+// { dg-do compile { target c++26 } }
+// { dg-additional-options "-freflection" }
+
+#include <meta>
+
+template<class T>
+consteval auto
+test ()
+{
+ auto lambda = [](this auto){
+ constexpr std::meta::info array[1] = {^^T};
+ using X = [: array[100] :]; // { dg-error "splice argument must be" }
+ sizeof(X);
+ };
+}
+
+void
+g ()
+{
+ test<int>();
+}
base-commit: b4ee1a549eac8d165740616376beeab73c5c6512
--
2.52.0
