diff options
Diffstat (limited to 'gcc/ipa-icf.c')
| -rw-r--r-- | gcc/ipa-icf.c | 12 |
1 files changed, 12 insertions, 0 deletions
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; |