OSDN Git Service

2011-11-03 Martin Jambor <mjambor@suse.cz>
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / g++.dg / ipa / devirt-c-1.C
1 /* Verify that ipa-cp correctly detects the dynamic type of an object
2    under construction when doing devirtualization.  */
3 /* { dg-do run } */
4 /* { dg-options "-O3 -fno-early-inlining -fno-inline -fdump-ipa-cp -fdump-tree-optimized"  } */
5
6 extern "C" void abort (void);
7
8 class A
9 {
10 public:
11   int data;
12   A();
13   virtual int foo (int i);
14 };
15
16 class B : public A
17 {
18 public:
19   virtual int foo (int i);
20 };
21
22 class C : public A
23 {
24 public:
25   virtual int foo (int i);
26 };
27
28 int A::foo (int i)
29 {
30   return i + 1;
31 }
32
33 int B::foo (int i)
34 {
35   return i + 2;
36 }
37
38 int C::foo (int i)
39 {
40   return i + 3;
41 }
42
43 static int middleman (class A *obj, int i)
44 {
45   return obj->foo (i);
46 }
47
48 int __attribute__ ((noinline,noclone)) get_input(void)
49 {
50   return 1;
51 }
52
53 A::A ()
54 {
55   if (middleman (this, get_input ()) != 2)
56     abort ();
57 }
58
59 static void bah ()
60 {
61   class B b;
62 }
63
64 int main (int argc, char *argv[])
65 {
66   int i;
67
68   for (i = 0; i < 10; i++)
69     bah ();
70   return 0;
71 }
72
73 /* { dg-final { scan-ipa-dump "Discovered a virtual call to a known target.*A::foo"  "cp"  } } */
74 /* { dg-final { scan-tree-dump-times "OBJ_TYPE_REF" 0 "optimized"} } */
75 /* { dg-final { cleanup-ipa-dump "cp" } } */
76 /* { dg-final { cleanup-tree-dump "optimized" } } */