PR 59918 (overacitve ipa-devirt sanity check)

[Jan Hubicka]

Hi,
this testcase triggers overactive check in record_target_from_binfo.
It is confused by fact that we may have hard time not only looking for a vtable
of virtual base but also of base of this virtual base that no longer has virtual
flag on it.

Regtsted ad comitted as obvious.

Honza

Index: testsuite/ChangeLog
===================================================================
--- testsuite/ChangeLog	(revision 207591)
+++ testsuite/ChangeLog	(working copy)
@@ -1,3 +1,8 @@
+2014-02-06  Jan Hubicka  <hubicka@ucw.cz>
+
+	PR ipa/59918
+	* g++.dg/torture/pr59918.C: New testcase.
+
 2014-02-06  Jakub Jelinek  <jakub@redhat.com>
 
 	PR target/59575
Index: testsuite/g++.dg/torture/pr59918.C
===================================================================
--- testsuite/g++.dg/torture/pr59918.C	(revision 0)
+++ testsuite/g++.dg/torture/pr59918.C	(revision 0)
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+struct E {
+  ~E();
+  virtual void f() const;
+};
+struct B : E {};
+struct G : virtual B {};
+struct A {
+  virtual ~A();
+};
+struct J : E {
+  void f() const {
+    E *p = 0;
+    p->f();
+  }
+};
+J h;
+struct I : A, G, virtual B {};
Index: ChangeLog
===================================================================
--- ChangeLog	(revision 207591)
+++ ChangeLog	(working copy)
@@ -1,5 +1,10 @@
 2014-02-06  Jan Hubicka  <hubicka@ucw.cz>
 
+	PR ipa/59918
+	* ipa-devirt.c (record_target_from_binfo): Remove overactive sanity check.
+
+2014-02-06  Jan Hubicka  <hubicka@ucw.cz>
+
 	PR ipa/59469
 	* lto-cgraph.c (lto_output_node): Use
 	symtab_get_symbol_partitioning_class.
Index: ipa-devirt.c
===================================================================
--- ipa-devirt.c	(revision 207588)
+++ ipa-devirt.c	(working copy)
@@ -689,10 +689,7 @@ record_target_from_binfo (vec <cgraph_no
 	 we may not have its associated vtable.  This is not a problem, since
 	 we will walk it on the other path.  */
       if (!type_binfo)
-	{
-	  gcc_assert (BINFO_VIRTUAL_P (binfo));
-	  return;
-	}
+	return;
       tree inner_binfo = get_binfo_at_offset (type_binfo,
 					      offset, otr_type);
       /* For types in anonymous namespace first check if the respective vtable