From: Jan Hubicka <hubicka@ucw.cz>
Date: Thu, 5 Mar 2015 21:26:44 +0000 (+0100)
Subject: * ipa-icf.c (sem_variable::equals_wpa): Check FINAL flags.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab038a807dcebed2e81592ca10031b3c5033b718;p=gcc.git

* ipa-icf.c (sem_variable::equals_wpa): Check FINAL flags.

From-SVN: r221226
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c4496f5b758..9d2e92ba6bd 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 a7f19d6fd8d..7c4c852ed5f 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;