re PR ipa/59918 (ICE in record_target_from_binfo, at ipa-devirt.c:693)
authorJan Hubicka <hubicka@ucw.cz>
Fri, 7 Feb 2014 06:01:36 +0000 (07:01 +0100)
committerJan Hubicka <hubicka@gcc.gnu.org>
Fri, 7 Feb 2014 06:01:36 +0000 (06:01 +0000)
PR ipa/59918
* ipa-devirt.c (record_target_from_binfo): Remove overactive sanity check.
* g++.dg/torture/pr59918.C: New testcase.

From-SVN: r207592

gcc/ChangeLog
gcc/ipa-devirt.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/torture/pr59918.C [new file with mode: 0644]

index 43e9d9c..0a0674f 100644 (file)
@@ -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 c110a98..3341a5a 100644 (file)
@@ -689,10 +689,7 @@ record_target_from_binfo (vec <cgraph_node *> &nodes,
         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
index 2cac8d2..45f215e 100644 (file)
@@ -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
diff --git a/gcc/testsuite/g++.dg/torture/pr59918.C b/gcc/testsuite/g++.dg/torture/pr59918.C
new file mode 100644 (file)
index 0000000..b30d33e
--- /dev/null
@@ -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 {};