From 98b8f2a556ab071045fe370f19049d341af41bc8 Mon Sep 17 00:00:00 2001 From: jakub Date: Tue, 13 Dec 2016 08:48:45 +0000 Subject: PR ipa/77905 * ipa-pure-const.c (cdtor_p): Return true for DECL_STATIC_{CON,DE}STRUCTOR even when it is DECL_LOOPING_CONST_OR_PURE_P. * g++.dg/ipa/pr77905.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@243596 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 7 +++++++ gcc/ipa-pure-const.c | 3 ++- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/ipa/pr77905.C | 21 +++++++++++++++++++++ 4 files changed, 35 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/ipa/pr77905.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 95e896637ad..5b478a3045e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2016-12-13 Jakub Jelinek + + PR ipa/77905 + * ipa-pure-const.c (cdtor_p): Return true for + DECL_STATIC_{CON,DE}STRUCTOR even when it is + DECL_LOOPING_CONST_OR_PURE_P. + 2016-12-12 Jakub Jelinek PR tree-optimization/78777 diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c index 9732cbff12e..634decee1e3 100644 --- a/gcc/ipa-pure-const.c +++ b/gcc/ipa-pure-const.c @@ -1195,7 +1195,8 @@ static bool cdtor_p (cgraph_node *n, void *) { if (DECL_STATIC_CONSTRUCTOR (n->decl) || DECL_STATIC_DESTRUCTOR (n->decl)) - return !TREE_READONLY (n->decl) && !DECL_PURE_P (n->decl); + return ((!TREE_READONLY (n->decl) && !DECL_PURE_P (n->decl)) + || DECL_LOOPING_CONST_OR_PURE_P (n->decl)); return false; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b4eea7231f3..ac2a4f509a7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-12-13 Jakub Jelinek + + PR ipa/77905 + * g++.dg/ipa/pr77905.C: New test. + 2016-12-12 Jakub Jelinek PR tree-optimization/78777 diff --git a/gcc/testsuite/g++.dg/ipa/pr77905.C b/gcc/testsuite/g++.dg/ipa/pr77905.C new file mode 100644 index 00000000000..0f73d50addc --- /dev/null +++ b/gcc/testsuite/g++.dg/ipa/pr77905.C @@ -0,0 +1,21 @@ +// PR ipa/77905 +// { dg-do compile } +// { dg-options "-O2" } + +struct A { + A(int); +}; +struct B : A { + B(); +} A; +struct C : virtual A { + C(int); +}; +A::A(int x) { + if (x) + A(0); +} + +B::B() : A(1) {} + +C::C(int) : A(1) {} -- cgit v1.2.1