blob: 8fb47caffccac78f8a4a10da33185d4aab32e3c3 (
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
/* Verify that simple indirect calls are inlined even without early
inlining.. */
/* { dg-do run } */
/* { dg-options "-O3 -fdump-ipa-inline -fno-early-inlining" } */
extern void abort (void);
struct S
{
int i;
void (*f)(struct S *);
int j,k,l;
};
struct Z
{
unsigned u;
void (*f)(struct Z *, int);
struct Z *next;
};
static struct Z *gz;
static struct S *gs;
static int gr = 111;
char gc[1024];
static __attribute__ ((noinline, noclone)) struct S *
get_s (void)
{
return (struct S *) &gc;
}
static void wrong_target_1 (struct S *s)
{
abort ();
}
static void wrong_target_2 (struct S *s)
{
abort ();
}
static void wrong_target_3 (struct S *s)
{
abort ();
}
static void good_target (struct Z *z, int i)
{
gr = 0;
}
static void good_target_3 (struct S *s)
{
gr = 0;
}
static void g1 (struct S *s)
{
struct Z *z = (struct Z*) s;
z->f (z, 8);
}
static void f1 (struct S *s)
{
gz->f = good_target;
g1 (s);
}
static void g2 (struct Z *z)
{
z->f (z, 8);
}
static void f2 (struct S *s)
{
gz->f = good_target;
g2 ((struct Z*) s);
}
static void g3 (struct S *s)
{
s->f (s);
}
static void h3 (struct Z *z)
{
gs->f = good_target_3;
g3 ((struct S *) z);
}
static void f3 (struct S *s)
{
h3 ((struct Z*) s);
}
int main (int argc, char **argv)
{
struct S *s = get_s();
s->i = 5678;
s->f = wrong_target_1;
s->j = 1234;
gz = (struct Z *) s;
f1 (s);
s = get_s();
gz = (struct Z *) s;
s->i = 9999;
s->f = wrong_target_1;
f2 (s);
s = get_s();
gs = s;
s->i = 9999;
s->f = wrong_target_3;
f3 (s);
return gr;
}
/* { dg-final { scan-ipa-dump-not "wrong_target\[^\\n\]*inline copy in" "inline" } } */
/* { dg-final { cleanup-ipa-dump "inline" } } */
|
