blob: 42be8abca6acf11d8570502e9fd8326521901c5c (
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
|
struct a;
extern int baz (struct a *__restrict x);
struct a {
long v;
long w;
};
struct b {
struct a c;
struct a d;
};
int bar (int x, const struct b *__restrict y, struct b *__restrict z)
{
if (y->c.v || y->c.w != 250000 || y->d.v || y->d.w != 250000)
abort();
}
void foo(void)
{
struct b x;
x.c.v = 0;
x.c.w = 250000;
x.d = x.c;
bar(0, &x, ((void *)0));
}
int main()
{
foo();
exit(0);
}
|