[gcc r15-6798] c++: modules and DECL_REPLACEABLE_P

[Jason Merrill via Gcc-cvs]

https://gcc.gnu.org/g:e86daddbde93b4b508f0957e9aac0b935f99ed93

commit r15-6798-ge86daddbde93b4b508f0957e9aac0b935f99ed93
Author: Jason Merrill <ja...@redhat.com>
Date:   Fri Nov 22 12:00:20 2024 +0100

    c++: modules and DECL_REPLACEABLE_P
    
    We need to remember that the ::operator new is replaceable to avoid a bogus
    error about __builtin_operator_new finding a non-replaceable function.
    
    This affected __get_temporary_buffer in stl_tempbuf.h.
    
    gcc/cp/ChangeLog:
    
            * module.cc (trees_out::core_bools): Write replaceable_operator.
            (trees_in::core_bools): Read it.
    
    gcc/testsuite/ChangeLog:
    
            * g++.dg/modules/operator-2_a.C: New test.
            * g++.dg/modules/operator-2_b.C: New test.

Diff:
---
 gcc/cp/module.cc                            |  2 ++
 gcc/testsuite/g++.dg/modules/operator-2_a.C | 14 ++++++++++++++
 gcc/testsuite/g++.dg/modules/operator-2_b.C |  8 ++++++++
 3 files changed, 24 insertions(+)

diff --git a/gcc/cp/module.cc b/gcc/cp/module.cc
index 7288c46a7baa..4fbe522264b3 100644
--- a/gcc/cp/module.cc
+++ b/gcc/cp/module.cc
@@ -5640,6 +5640,7 @@ trees_out::core_bools (tree t, bits_out& bits)
 
       WB (t->function_decl.has_debug_args_flag);
       WB (t->function_decl.versioned_function);
+      WB (t->function_decl.replaceable_operator);
 
       /* decl_type is a (misnamed) 2 bit discriminator.         */
       unsigned kind = t->function_decl.decl_type;
@@ -5796,6 +5797,7 @@ trees_in::core_bools (tree t, bits_in& bits)
 
       RB (t->function_decl.has_debug_args_flag);
       RB (t->function_decl.versioned_function);
+      RB (t->function_decl.replaceable_operator);
 
       /* decl_type is a (misnamed) 2 bit discriminator.         */
       unsigned kind = 0;
diff --git a/gcc/testsuite/g++.dg/modules/operator-2_a.C 
b/gcc/testsuite/g++.dg/modules/operator-2_a.C
new file mode 100644
index 000000000000..0b1f6e80422f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/modules/operator-2_a.C
@@ -0,0 +1,14 @@
+// { dg-additional-options -fmodules }
+// { dg-module-cmi M }
+
+module;
+
+#include <new>
+
+export module M;
+
+export template <class T>
+inline T* alloc (__SIZE_TYPE__ n)
+{
+  return (T*) __builtin_operator_new (n * sizeof (T), std::nothrow_t{});
+};
diff --git a/gcc/testsuite/g++.dg/modules/operator-2_b.C 
b/gcc/testsuite/g++.dg/modules/operator-2_b.C
new file mode 100644
index 000000000000..fb21ccb6d30f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/modules/operator-2_b.C
@@ -0,0 +1,8 @@
+// { dg-additional-options -fmodules }
+
+import M;
+
+int main()
+{
+  int *p = alloc<int>(42);
+}