diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2015-03-05 22:26:44 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2015-03-05 21:26:44 +0000 |
| commit | ab038a807dcebed2e81592ca10031b3c5033b718 (patch) | |
| tree | 11025947cf4fb3b3d604bb1f53a2fa1e1055b097 /gcc | |
| parent | 34349d557a00b1748d36da6e4cd460295febd244 (diff) | |
| download | gcc-ab038a807dcebed2e81592ca10031b3c5033b718.zip gcc-ab038a807dcebed2e81592ca10031b3c5033b718.tar.gz gcc-ab038a807dcebed2e81592ca10031b3c5033b718.tar.bz2 | |
* ipa-icf.c (sem_variable::equals_wpa): Check FINAL flags.
From-SVN: r221226
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ipa-icf.c | 12 |
2 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c4496f5..9d2e92b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2015-03-05 Jan Hubicka <hubicka@ucw.cz> + + * ipa-icf.c (sem_variable::equals_wpa): Check FINAL flags. + 2015-03-05 Vladimir Makarov <vmakarov@redhat.com> PR target/64342 diff --git a/gcc/ipa-icf.c b/gcc/ipa-icf.c index a7f19d6..7c4c852e 100644 --- a/gcc/ipa-icf.c +++ b/gcc/ipa-icf.c @@ -1480,6 +1480,18 @@ sem_variable::equals_wpa (sem_item *item, ref->referred, ref2->referred, ref->address_matters_p ())) return false; + + /* DECL_FINAL_P flag on methods referred by virtual tables is used + to decide on completeness possible_polymorphic_call_targets lists + and therefore it must match. */ + if ((DECL_VIRTUAL_P (decl) || DECL_VIRTUAL_P (item->decl)) + && (DECL_VIRTUAL_P (ref->referred->decl) + || DECL_VIRTUAL_P (ref2->referred->decl)) + && ((DECL_VIRTUAL_P (ref->referred->decl) + != DECL_VIRTUAL_P (ref2->referred->decl)) + || (DECL_FINAL_P (ref->referred->decl) + != DECL_FINAL_P (ref2->referred->decl)))) + return return_false_with_msg ("virtual or final flag mismatch"); } return true; |