diff mbox series

[pushed] c++: missing aggregate base ctor [PR102045]

Message ID 20220328133306.2583323-1-jason@redhat.com
State New
Headers show
Series [pushed] c++: missing aggregate base ctor [PR102045] | expand

Commit Message

Jason Merrill March 28, 2022, 1:33 p.m. UTC 
When make_base_init_ok changes a call to a complete constructor into a call
to a base constructor, we were never marking the base ctor as used, so it
didn't get emitted.

Tested x86_64-pc-linux-gnu, applying to trunk.

	PR c++/102045

gcc/cp/ChangeLog:

	* call.cc (make_base_init_ok): Call make_used.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp1z/aggr-base12.C: New test.
---
 gcc/cp/call.cc                           |  1 +
 gcc/testsuite/g++.dg/cpp1z/aggr-base12.C | 24 ++++++++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp1z/aggr-base12.C


base-commit: bc86a86a4f2c057bc0e0be94dcbb8c128ae7f717
prerequisite-patch-id: 09e711b54e7911a4a04bd7808abc1b73ae4482ba
prerequisite-patch-id: 566cf0772894d0c6a842b2e0ca62eb1d5ae8ad33
prerequisite-patch-id: b1def7e83e76c1652efb483cb2b67e472d15b720
diff mbox series

Patch

diff --git a/gcc/cp/call.cc b/gcc/cp/call.cc
index dfe370d685d..73fede5a3df 100644
--- a/gcc/cp/call.cc
+++ b/gcc/cp/call.cc
@@ -8958,6 +8958,7 @@  make_base_init_ok (tree exp)
        call target.  It would be possible to splice in the appropriate
        arguments, but probably not worth the complexity.  */
     return false;
+  mark_used (fn);
   AGGR_INIT_EXPR_FN (exp) = build_address (fn);
   return true;
 }
diff --git a/gcc/testsuite/g++.dg/cpp1z/aggr-base12.C b/gcc/testsuite/g++.dg/cpp1z/aggr-base12.C
new file mode 100644
index 00000000000..6f5a6b2056a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/aggr-base12.C
@@ -0,0 +1,24 @@ 
+// PR c++/102045
+// { dg-do link { target c++17 } }
+
+template<typename T>
+struct span
+{
+  template<unsigned long N>
+  constexpr span(T (&a)[N]) : data(a), len(N) { }
+  constexpr bool empty() const { return len == 0; }
+  T* data;
+  unsigned long len;
+};
+
+struct byte_writer: span<char> {
+  constexpr void do_something() noexcept {
+    (void)this->empty();
+  }
+};
+
+int main() {
+  char array[1];
+  auto writer = byte_writer{array};
+  writer.do_something();
+}