diff options
| author | Martin Liska <marxin@gcc.gnu.org> | 2015-01-15 17:29:23 +0000 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2015-01-15 17:29:23 +0000 |
| commit | c23127ce74acc430659d5afb176e3f8e987dd77c (patch) | |
| tree | 30b67fd27684a14ac619b4389fde8d374ce2a0bc /gcc | |
| parent | 40d54d24324167bf6cb16c250a0992019b8aa300 (diff) | |
| download | gcc-c23127ce74acc430659d5afb176e3f8e987dd77c.zip gcc-c23127ce74acc430659d5afb176e3f8e987dd77c.tar.gz gcc-c23127ce74acc430659d5afb176e3f8e987dd77c.tar.bz2 | |
Fix for PR64068 and PR64559.
* g++.dg/ipa/pr64068.C: New test.
* gcc.dg/ipa/PR64559.c: New test.
PR ipa/64068
PR ipa/64559
* ipa.c (symbol_table::remove_unreachable_nodes):
Do not put abstract origins into boundary.
From-SVN: r219672
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/ipa.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/ipa/pr64068.C | 49 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/ipa/PR64559.c | 39 |
5 files changed, 100 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2063fd5..2d5974b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2015-01-15 Jan Hubicka <hubicka@ucw.cz> + + PR ipa/64068 + PR ipa/64559 + * ipa.c (symbol_table::remove_unreachable_nodes): + Do not put abstract origins into boundary. + 2015-01-15 Evgeny Stupachenko <evstupac@gmail.com> * config/i386/gnu-user.h (CRT_GET_RFIB_DATA): Remove EBX register usage. @@ -400,7 +400,6 @@ symbol_table::remove_unreachable_nodes (FILE *file) n = n->next_sibling_clone) if (n->decl == DECL_ABSTRACT_ORIGIN (node->decl)) n->used_as_abstract_origin = true; - enqueue_node (origin_node, &first, &reachable); } } /* If any symbol in a comdat group is reachable, force diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8733914..a1235f3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-01-15 Martin Liska <mliska@suse.cz> + + * g++.dg/ipa/pr64068.C: New test. + * gcc.dg/ipa/PR64559.c: New test. + 2015-01-15 H.J. Lu <hongjiu.lu@intel.com> * g++.dg/other/anon5.C: Ignore additional messages on Linux/x86 diff --git a/gcc/testsuite/g++.dg/ipa/pr64068.C b/gcc/testsuite/g++.dg/ipa/pr64068.C new file mode 100644 index 0000000..9528883 --- /dev/null +++ b/gcc/testsuite/g++.dg/ipa/pr64068.C @@ -0,0 +1,49 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +typedef int PROV_ENUMALGS_EX, PCCRYPT_OID_INFO; +class A { + int m_fn2(); + virtual bool m_fn1(PCCRYPT_OID_INFO); +}; +int fn1(); +void fn2(); +int A::m_fn2() { m_fn1(0); } + +bool fn3() { + for (;;) { + if (fn1()) { + if (fn1() != 259) + fn2(); + break; + } + return 1; + } + return 0; +} + +class B { +public: + B() { fn3(); } +}; +class C : A { + bool m_fn1(PCCRYPT_OID_INFO) { m_fn3(); } + int isSupportedByProvider_algId; + PROV_ENUMALGS_EX isSupportedByProvider_outEnumAlgs; + PROV_ENUMALGS_EX isSupportedByProvider_enumAlgs; + bool m_fn3() { + while (1) { + if (fn1()) { + if (fn1() != 259) + fn2(); + break; + } + if (isSupportedByProvider_algId) + isSupportedByProvider_outEnumAlgs = isSupportedByProvider_enumAlgs; + return 1; + } + return 0; + } +}; + +void fn4() { B(); } diff --git a/gcc/testsuite/gcc.dg/ipa/PR64559.c b/gcc/testsuite/gcc.dg/ipa/PR64559.c new file mode 100644 index 0000000..463afdc --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/PR64559.c @@ -0,0 +1,39 @@ +/* { dg-do compile } */ +/* { dg-options "-Os" } */ + +int a, b, c, d; + +struct S +{ + int f0; +}; + +static int +fn1 (int p) +{ + return p == 0 || a; +} + +static int +fn2 () +{ + d = fn1 (c); + return 0; +} + +static int +fn3 (struct S p) +{ + p.f0 || fn2 (); + if (fn1 (1)) + b = 0; + return 0; +} + +int +main () +{ + struct S e = { 1 }; + fn3 (e); + return 0; +} |