From: Martin Jambor Date: Wed, 11 May 2022 21:25:40 +0000 (+0200) Subject: ipa: Release body of clone_of when removing its last clone (PR 100413) X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=988fbc636639621dadc5cecbe77aa3f9aefedefb;p=test_jj.git 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 PR ipa/100413 * cgraph.cc (cgraph_node::remove): Release body of the node this is clone_of if appropriate. gcc/testsuite/ChangeLog: 2022-04-27 Martin Jambor PR ipa/100413 * g++.dg/ipa/pr100413.C: New test. (cherry picked from commit 27ee75dbe81bb781214c66a9e6a759c08b7deb60) --- diff --git a/gcc/cgraph.cc b/gcc/cgraph.cc index 0159eaa..4bb9e7b 100644 --- a/gcc/cgraph.cc +++ b/gcc/cgraph.cc @@ -1893,7 +1893,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 0000000..96d71e7 --- /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 class allocator { +public: + ~allocator(); +}; +template struct allocator_traits; +template struct allocator_traits> { + using allocator_type = allocator<_Tp>; + template using rebind_alloc = allocator<_Up>; + static void deallocate(allocator_type); +}; +template +void _Destroy(_ForwardIterator, _ForwardIterator, _Tp); +struct __alloc_traits : allocator_traits> { + struct rebind { + typedef rebind_alloc 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 __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() {}