diff options
author | Martin Liska <mliska@suse.cz> | 2015-03-05 18:49:49 +0100 |
---|---|---|
committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2015-03-05 17:49:49 +0000 |
commit | 9374ef820b2e1b5410bfd9ccb4c2dbd023a369c6 (patch) | |
tree | 3a32f1c92334c72cd658898f32c981ab9b792fea /gcc | |
parent | 2755b64ed5855eddc6f7ae554116870735065632 (diff) | |
download | gcc-9374ef820b2e1b5410bfd9ccb4c2dbd023a369c6.zip gcc-9374ef820b2e1b5410bfd9ccb4c2dbd023a369c6.tar.gz gcc-9374ef820b2e1b5410bfd9ccb4c2dbd023a369c6.tar.bz2 |
re PR ipa/65318 (wrong code at -Os and above on x86_64-linux-gnu)
PR ipa/65318
* ipa-icf.c (sem_variable::equals): Compare variables types.
* gcc.dg/ipa/pr65318.c: New test.
From-SVN: r221221
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ipa-icf.c | 5 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/ipa/pr65318.c | 18 |
4 files changed, 33 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 73a346a..f780919 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-03-05 Martin Liska <mliska@suse.cz> + + PR ipa/65318 + * ipa-icf.c (sem_variable::equals): Compare variables types. + 2015-03-05 Alex Velenko <alex.velenko@arm.com> * config/arm/arm.c (arm_function_in_section_p): Fix predicate to diff --git a/gcc/ipa-icf.c b/gcc/ipa-icf.c index c55a09f..a7f19d6 100644 --- a/gcc/ipa-icf.c +++ b/gcc/ipa-icf.c @@ -1501,6 +1501,11 @@ sem_variable::equals (sem_item *item, if (DECL_INITIAL (item->decl) == error_mark_node && in_lto_p) dyn_cast <varpool_node *>(item->node)->get_constructor (); + /* As seen in PR ipa/65303 we have to compare variables types. */ + if (!func_checker::compatible_types_p (TREE_TYPE (decl), + TREE_TYPE (item->decl))) + return return_false_with_msg ("variables types are different"); + ret = sem_variable::equals (DECL_INITIAL (decl), DECL_INITIAL (item->node->decl)); if (dump_file && (dump_flags & TDF_DETAILS)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4f853ee..09d42b3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-03-05 Martin Liska <mliska@suse.cz> + + PR ipa/65318 + * gcc.dg/ipa/pr65318.c: New test. + 2015-03-05 Marek Polacek <polacek@redhat.com> * c-c++-common/ubsan/bounds-6.c: Use dg-do run. diff --git a/gcc/testsuite/gcc.dg/ipa/pr65318.c b/gcc/testsuite/gcc.dg/ipa/pr65318.c new file mode 100644 index 0000000..f23b3a2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pr65318.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-ipa-icf-details" } */ + +static short a = 0; +short b = -1; +static unsigned short c = 0; + +int +main () +{ + if (a <= b) + return 1; + + return 0; +} + +/* { dg-final { scan-ipa-dump "Equal symbols: 0" "icf" } } */ +/* { dg-final { cleanup-ipa-dump "icf" } } */ |