blob: e91424492a086f5cd48faf8d2b2320c2c4e6eab6 (
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
|
/* struct X is complete in this TU, this causes us to not merge Y and
thus assign different alias-sets to them. */
struct X
{
int i;
};
struct Y
{
struct X *p;
int i;
};
extern void abort (void);
extern void foo(struct Y *);
int __attribute__((noinline)) bar(struct Y *p)
{
p->i = 0;
foo (p);
return p->i;
}
int main()
{
struct Y y;
if (bar (&y) != 1)
abort ();
return 0;
}
|