blob: 2110f33a04a3c224d8c3de9d5e5581378125dd61 (
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
|
/* We used to mis-compile this testcase as we did not know that
&a+offsetof(b,a) was the same as &a.b */
struct A
{
int t;
int i;
};
void
bar (float *p)
{
*p = 5.2;
}
int
foo(struct A *locp, int i, int str)
{
float f, g, *p;
int T355;
int *T356;
/* Currently, the alias analyzer has limited support for handling
aliases of structure fields when no other variables are aliased.
Introduce additional aliases to confuse it. */
p = i ? &g : &f;
bar (p);
if (*p > 0.0)
str = 1;
T355 = locp->i;
T356 = &locp->i;
*T356 = str;
T355 = locp->i;
return T355;
}
main ()
{
struct A loc;
int str;
loc.i = 2;
str = foo (&loc, 10, 3);
if (str!=1)
abort ();
return 0;
}
|
