|
111
|
1 /* Limit this to known non-strict alignment targets. */
|
|
|
2 /* { dg-do run { target { i?86-*-linux* x86_64-*-linux* } } } */
|
|
145
|
3 /* { dg-options "-O -fsanitize=alignment -fsanitize-recover=alignment -Wno-address-of-packed-member" } */
|
|
111
|
4
|
|
|
5 struct R { int a; } r;
|
|
|
6 struct S { struct R a; char b; long long c; short d[10]; };
|
|
|
7 struct T { char a; long long b; };
|
|
|
8 struct U { char a; int b; int c; long long d; struct S e; struct T f; } __attribute__((packed));
|
|
|
9 struct V { long long a; struct S b; struct T c; struct U u; } v;
|
|
|
10
|
|
|
11 __attribute__((noinline, noclone)) int
|
|
|
12 bar (int x, struct R y, struct R z)
|
|
|
13 {
|
|
|
14 return x + y.a;
|
|
|
15 }
|
|
|
16
|
|
|
17 __attribute__((noinline, noclone)) int
|
|
|
18 foo (struct S *p, struct S *q)
|
|
|
19 {
|
|
|
20 int i = bar (0, r, r);
|
|
|
21 i += bar (1, p->a, r);
|
|
|
22 i += bar (2, r, q->a);
|
|
|
23 return i;
|
|
|
24 }
|
|
|
25
|
|
|
26 int
|
|
|
27 main ()
|
|
|
28 {
|
|
|
29 char *p = (char *) &v.u.e;
|
|
|
30 struct S *q, *r;
|
|
|
31 asm volatile ("" : "=r" (q) : "0" (p));
|
|
|
32 asm volatile ("" : "=r" (r) : "0" (p));
|
|
|
33 if (foo (q, r) != 3)
|
|
|
34 __builtin_abort ();
|
|
|
35 return 0;
|
|
|
36 }
|
|
|
37
|
|
|
38 /* { dg-output "\.c:21:\[0-9]*: \[^\n\r]*member access within misaligned address 0x\[0-9a-fA-F]* for type 'struct S', which requires \[48] byte alignment.*" } */
|
|
|
39 /* { dg-output "\.c:22:\[0-9]*: \[^\n\r]*member access within misaligned address 0x\[0-9a-fA-F]* for type 'struct S', which requires \[48] byte alignment" } */
|
