KJ16609/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2026-02-22 03:46:53 -05:00
Code Issues Packages Projects Releases Wiki Activity

c++: Fix ICE in eval_annotations_of [PR123866]

Browse Source 
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.
This commit is contained in:
Jakub Jelinek
2026-01-29 12:34:59 +01:00
committed by Jakub Jelinek
parent 7632c2e12b
commit 4f2a04726b
2 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/cp/reflect.cc
View File

@@ -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);

12
gcc/testsuite/g++.dg/reflect/annotations10.C Normal file
View File

@@ -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);