[gcc r16-7134] c++: Fix ICE in eval_annotations_of [PR123866]

[Jakub Jelinek]

https://gcc.gnu.org/g:4f2a04726b97a79f5c0cdb4af8e589aebefea7ef

commit r16-7134-g4f2a04726b97a79f5c0cdb4af8e589aebefea7ef
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Thu Jan 29 12:34:59 2026 +0100

    c++: Fix ICE in eval_annotations_of [PR123866]
    
    eval_annotations_of throws if the passed in reflection handle is not
    eval_is_function (and various others).  Now, eval_is_function uses
    maybe_get_first_fn to look through BASELINK/OVERLOAD etc., but
    eval_annotations_of wasn't doing that and ICEd on
      else if (TYPE_P (r))
        r = TYPE_ATTRIBUTES (r);
      else if (DECL_P (r))
        r = DECL_ATTRIBUTES (r);
      else
        gcc_unreachable ();
    because r isn't a decl nor type (nor REFLECT_BASE earlier).
    
    2026-01-29  Jakub Jelinek  <jakub@redhat.com>
    
            PR c++/123866
            * reflect.cc (eval_annotations_of): Use maybe_get_first_fn.
    
            * g++.dg/reflect/annotations10.C: New test.

Diff:
---
 gcc/cp/reflect.cc                            |  1 +
 gcc/testsuite/g++.dg/reflect/annotations10.C | 12 ++++++++++++
 2 files changed, 13 insertions(+)

diff --git a/gcc/cp/reflect.cc b/gcc/cp/reflect.cc
index bdeec2f0f38c..8acac9f8f0ea 100644
--- a/gcc/cp/reflect.cc
+++ b/gcc/cp/reflect.cc
@@ -3768,6 +3768,7 @@ eval_annotations_of (location_t loc, const constexpr_ctx *ctx, tree r,
       type = remove_const (type);
     }
 
+  r = maybe_get_first_fn (r);
   if (kind == REFLECT_BASE)
     {
       gcc_assert (TREE_CODE (r) == TREE_BINFO);
diff --git a/gcc/testsuite/g++.dg/reflect/annotations10.C b/gcc/testsuite/g++.dg/reflect/annotations10.C
new file mode 100644
index 000000000000..e78a7d46e5e7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/reflect/annotations10.C
@@ -0,0 +1,12 @@
+// PR c++/123866
+// { dg-do compile { target c++26 } }
+// { dg-additional-options "-freflection" }
+
+#include <meta>
+
+struct A
+{
+  [[=1, =2]] void foo () {}
+};
+
+static_assert (annotations_of (^^A::foo).size () == 2);