diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0bc45fd34e14..cd1e678e39da 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-03-21 Martin Liska + + * ipa-icf.c (sem_function::parse): Skip static + constructors and destructors. + 2016-03-21 Jakub Jelinek PR target/70296 diff --git a/gcc/ipa-icf.c b/gcc/ipa-icf.c index d82eb879d05a..aa6589c16e1a 100644 --- a/gcc/ipa-icf.c +++ b/gcc/ipa-icf.c @@ -1697,6 +1697,11 @@ sem_function::parse (cgraph_node *node, bitmap_obstack *stack) if (lookup_attribute_by_prefix ("omp ", DECL_ATTRIBUTES (node->decl)) != NULL) return NULL; + /* PR ipa/70306. */ + if (DECL_STATIC_CONSTRUCTOR (node->decl) + || DECL_STATIC_DESTRUCTOR (node->decl)) + return NULL; + sem_function *f = new sem_function (node, 0, stack); f->init (); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9bb36d3dcc45..f572c9dd12f5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2016-03-21 Martin Liska + + * gcc.dg/ipa/pr70306.c: New test. + 2016-03-21 Andre Vieira * gcc.target/arm/attr-align1.c: Skip if M-profile. diff --git a/gcc/testsuite/gcc.dg/ipa/pr70306.c b/gcc/testsuite/gcc.dg/ipa/pr70306.c new file mode 100644 index 000000000000..be18208afd40 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pr70306.c @@ -0,0 +1,45 @@ +/* { dg-options "-O2 -fdump-ipa-icf" } */ +/* { dg-do run } */ + +int ctor_counter = 1; +int dtor_counter; + +__attribute__((constructor)) +void A() +{ + ctor_counter++; +} + +__attribute__((destructor)) +void B() +{ + if (dtor_counter == 0) + __builtin_abort (); + + dtor_counter--; +} + +__attribute__((constructor)) +static void C() { + ctor_counter++; +} + +__attribute__((destructor)) +static void D() { + if (dtor_counter == 0) + __builtin_abort (); + + dtor_counter--; +} + +int main() +{ + if (ctor_counter != 3) + __builtin_abort (); + + dtor_counter = 2; + + return 0; +} + +/* { dg-final { scan-ipa-dump "Equal symbols: 0" "icf" } } */