1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */
3
4 struct S { int a; char b; long long c; short d[10]; };
5 struct T { char a; long long b; };
6 struct U { char a; int b; int c; long long d; struct S e; struct T f; };
7 struct V { long long a; struct S b; struct T c; struct U u; } v;
8
9 __attribute__((noinline, noclone)) void
f1(int * p,int * q,char * r,long long * s)10 f1 (int *p, int *q, char *r, long long *s)
11 {
12 *p = *q + *r + *s;
13 }
14
15
16 __attribute__((noinline, noclone)) int
f2(struct S * p)17 f2 (struct S *p)
18 {
19 return p->a;
20 }
21
22 __attribute__((noinline, noclone)) long long
f3(struct S * p,int i)23 f3 (struct S *p, int i)
24 {
25 return p->c + p->d[1] + p->d[i];
26 }
27
28 __attribute__((noinline, noclone)) long long
f4(long long * p)29 f4 (long long *p)
30 {
31 return *p;
32 }
33
34 int
main()35 main ()
36 {
37 f1 (&v.u.b, &v.u.c, &v.u.a, &v.u.d);
38 if (f2 (&v.u.e) + f3 (&v.u.e, 4) + f4 (&v.u.f.b) != 0)
39 __builtin_abort ();
40 return 0;
41 }
42