Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk/16?

-- >8 --
Currently, we include all the built-ins like __builtin_fdimf32x in
the result of members_of.  We probably should skip them.  This patch
uses DECL_IS_UNDECLARED_BUILTIN so that we skip __builtin_abs but
include abs.

On ^^:: this reduces the # of elements from 2591 to 653.

        PR c++/125819

gcc/cp/ChangeLog:

        * reflect.cc (namespace_members_of): Skip
        DECL_IS_UNDECLARED_BUILTIN functions.

gcc/testsuite/ChangeLog:

        * g++.dg/reflect/members_of16.C: New test.
---
 gcc/cp/reflect.cc                           |  4 ++++
 gcc/testsuite/g++.dg/reflect/members_of16.C | 23 +++++++++++++++++++++
 2 files changed, 27 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/reflect/members_of16.C

diff --git a/gcc/cp/reflect.cc b/gcc/cp/reflect.cc
index 8dccf5e99a0..8b1ada8fa94 100644
--- a/gcc/cp/reflect.cc
+++ b/gcc/cp/reflect.cc
@@ -6904,6 +6904,10 @@ namespace_members_of (location_t loc, tree ns)
          return;
        }
 
+      /* Skip GCC built-ins.  */
+      if (TREE_CODE (b) == FUNCTION_DECL && DECL_IS_UNDECLARED_BUILTIN (b))
+       return;
+
       /* eval_is_accessible should be always true for namespace members,
         so don't bother calling it here.  */
       CONSTRUCTOR_APPEND_ELT (data->elts, NULL_TREE,
diff --git a/gcc/testsuite/g++.dg/reflect/members_of16.C 
b/gcc/testsuite/g++.dg/reflect/members_of16.C
new file mode 100644
index 00000000000..3c7c542afd4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/reflect/members_of16.C
@@ -0,0 +1,23 @@
+// PR c++/125819
+// { dg-do compile { target c++26 } }
+// { dg-additional-options "-freflection" }
+
+#include <cstdlib>
+#include <meta>
+
+consteval bool
+check ()
+{
+  bool found = false;
+  for (auto m : members_of (^^::, std::meta::access_context::current ()))
+    if (has_identifier (m))
+      {
+       if (identifier_of (m) == "__builtin_abs")
+         return false;
+       if (identifier_of (m) == "abs")
+         found = true;
+      }
+  return found;
+}
+
+static_assert (check ());

base-commit: ccfe2771c6f5272a74561ed5ce02f8569f248607
-- 
2.54.0

Reply via email to