public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r11-10011] ipa: Release body of clone_of when removing its last clone (PR 100413)
@ 2022-05-19 12:07 Martin Jambor
  0 siblings, 0 replies; only message in thread
From: Martin Jambor @ 2022-05-19 12:07 UTC (permalink / raw)
  To: gcc-cvs

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

commit r11-10011-ga03b46b78c82666b39ccada3df533f819e13dcb7
Author: Martin Jambor <mjambor@suse.cz>
Date:   Thu May 19 14:06:08 2022 +0200

    ipa: Release body of clone_of when removing its last clone (PR 100413)
    
    In the PR, the verifier complains that we did not manage to remove the
    body of a node and it is right.  The node is kept for materialization
    of two clones but after one is materialized, the other one is removed
    as unneeded (as a part of delete_unreachable_blocks_update_callgraph).
    The problem is that the node removal does not check for this situation
    and can leave the clone_of node there with a body attached to it even
    though there is no use for it any more.  This patch does checks for it
    and handles the situation in a simlar way that
    cgraph_node::materialize_clone does it, except that it also has to be
    careful that the removed node itself does not have any clones, which
    would still need the clone_of's body.  Failing to do that results in a
    bootstrap failure.
    
    gcc/ChangeLog:
    
    2022-04-27  Martin Jambor  <mjambor@suse.cz>
    
            PR ipa/100413
            * cgraph.c (cgraph_node::remove): Release body of the node this
            is clone_of if appropriate.
    
    gcc/testsuite/ChangeLog:
    
    2022-04-27  Martin Jambor  <mjambor@suse.cz>
    
            PR ipa/100413
            * g++.dg/ipa/pr100413.C: New test.
    
    (cherry picked from commit 27ee75dbe81bb781214c66a9e6a759c08b7deb60)

Diff:
---
 gcc/cgraph.c                        |  6 +++-
 gcc/testsuite/g++.dg/ipa/pr100413.C | 64 +++++++++++++++++++++++++++++++++++++
 2 files changed, 69 insertions(+), 1 deletion(-)

diff --git a/gcc/cgraph.c b/gcc/cgraph.c
index d7c78d518bc..4e3e348513b 100644
--- a/gcc/cgraph.c
+++ b/gcc/cgraph.c
@@ -1906,7 +1906,11 @@ cgraph_node::remove (void)
   if (prev_sibling_clone)
     prev_sibling_clone->next_sibling_clone = next_sibling_clone;
   else if (clone_of)
-    clone_of->clones = next_sibling_clone;
+    {
+      clone_of->clones = next_sibling_clone;
+      if (!clone_of->analyzed && !clone_of->clones && !clones)
+	clone_of->release_body ();
+    }
   if (next_sibling_clone)
     next_sibling_clone->prev_sibling_clone = prev_sibling_clone;
   if (clones)
diff --git a/gcc/testsuite/g++.dg/ipa/pr100413.C b/gcc/testsuite/g++.dg/ipa/pr100413.C
new file mode 100644
index 00000000000..96d71e7cf35
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ipa/pr100413.C
@@ -0,0 +1,64 @@
+/* { dg-do compile } */
+/* { dg-options "-std=c++11 -O2 -fno-guess-branch-probability -fno-inline-functions-called-once -fipa-cp-clone -fipa-pta -fnon-call-exceptions --param=ipa-cp-eval-threshold=0" } */
+
+
+template <typename> class allocator {
+public:
+  ~allocator();
+};
+template <typename> struct allocator_traits;
+template <typename _Tp> struct allocator_traits<allocator<_Tp>> {
+  using allocator_type = allocator<_Tp>;
+  template <typename _Up> using rebind_alloc = allocator<_Up>;
+  static void deallocate(allocator_type);
+};
+template <typename _ForwardIterator, typename _Tp>
+void _Destroy(_ForwardIterator, _ForwardIterator, _Tp);
+struct __alloc_traits : allocator_traits<allocator<int>> {
+  struct rebind {
+    typedef rebind_alloc<int> other;
+  };
+};
+struct _Vector_base {
+  struct _Vector_impl_data {
+    int _M_start;
+    int _M_finish;
+  };
+  struct _Vector_impl : __alloc_traits::rebind::other, _Vector_impl_data {};
+  __alloc_traits::rebind::other _M_get_Tp_allocator();
+  ~_Vector_base() { _M_deallocate(); }
+  _Vector_impl _M_impl;
+  void _M_deallocate() { __alloc_traits::deallocate(_M_impl); }
+};
+class vector : _Vector_base {
+public:
+  vector() noexcept {
+    allocator<int> __trans_tmp_1 = _M_get_Tp_allocator();
+    _Destroy(_M_impl._M_start, _M_impl._M_finish, __trans_tmp_1);
+  }
+  void size();
+};
+struct HTTPCallback {
+  virtual void OnFailure();
+};
+struct ContentCallback {
+  virtual void OnDownloadProgress();
+};
+class ClientNetworkContentSocketHandler : ContentCallback, HTTPCallback {
+  vector requested;
+  vector infos;
+  vector lastActivity;
+  void OnFailure();
+public:
+  int IDLE_TIMEOUT = 0;
+  ClientNetworkContentSocketHandler();
+  void DownloadSelectedContent();
+} _network_content_client;
+void ClientNetworkContentSocketHandler::DownloadSelectedContent() {
+  vector content;
+  content.size();
+}
+void ClientNetworkContentSocketHandler::OnFailure() {
+  DownloadSelectedContent();
+}
+ClientNetworkContentSocketHandler::ClientNetworkContentSocketHandler() {}


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-05-19 12:07 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-19 12:07 [gcc r11-10011] ipa: Release body of clone_of when removing its last clone (PR 100413) Martin Jambor

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).