aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/g++.dg/ipa/devirt-23.C
blob: 52e3c9cef08f7b999ade985ce0ba676f0e8d45bf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
/* { dg-do run } */
/* { dg-options "-O3 -fno-partial-inlining -fdump-ipa-cp -fno-devirtualize-speculatively -fdevirtualize"  } */
/* Main purpose is to verify that we do not produce wrong devirtualization to
   C::m_fn1.  We currently devirtualize to B::m_fn1, so check that. */
#include <stdlib.h>
class A {
public:
  unsigned length;
};
class B {};
class MultiTermDocs : public virtual B {
protected:
  A readerTermDocs;
  A subReaders;
  virtual B *m_fn1(int *) {}
  virtual inline  ~MultiTermDocs();
  inline void wrap(void)
  {
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  m_fn1(NULL);
  }
};
class C : MultiTermDocs {
  B *m_fn1(int *);
};
MultiTermDocs::~MultiTermDocs() {
  wrap ();
  if (&readerTermDocs) {
    B *a;
    for (unsigned i = 0; i < subReaders.length; i++)
      (a != 0);
  }
}

B *C::m_fn1(int *) { abort (); }

main()
{
  class C c;
}
/* { dg-final { scan-ipa-dump "Discovered a virtual call to" "cp" { xfail *-*-* } } } */
/* { dg-final { cleanup-ipa-dump "cp" } } */