1 // RUN: %clangxx %gmlt -fsanitize=alignment %s -O3 -o %t
2 // RUN: %run %t l0 && %run %t s0 && %run %t r0 && %run %t m0 && %run %t f0 && %run %t n0 && %run %t u0
3 // RUN: %run %t l1 2>&1 | FileCheck %s --check-prefix=CHECK-LOAD --strict-whitespace
4 // RUN: %run %t r1 2>&1 | FileCheck %s --check-prefix=CHECK-REFERENCE
5 // RUN: %run %t m1 2>&1 | FileCheck %s --check-prefix=CHECK-MEMBER
6 // RUN: %run %t f1 2>&1 | FileCheck %s --check-prefix=CHECK-MEMFUN
7 // RUN: %run %t n1 2>&1 | FileCheck %s --check-prefix=CHECK-NEW
8 // RUN: %run %t u1 2>&1 | FileCheck %s --check-prefix=CHECK-UPCAST
9 // RUN: %env_ubsan_opts=print_stacktrace=1 %run %t l1 2>&1 | FileCheck %s --check-prefix=CHECK-LOAD --check-prefix=CHECK-STACK-LOAD
10
11 // RUN: %clangxx -fsanitize=alignment -fno-sanitize-recover=alignment %s -O3 -o %t
12 // RUN: not %run %t s1 2>&1 | FileCheck %s --check-prefix=CHECK-STORE
13 // RUN: not %run %t w1 2>&1 | FileCheck %s --check-prefix=CHECK-WILD
14 // Compilation error make the test fails.
15 // XFAIL: openbsd
16
17 #include <new>
18
19 struct S {
SS20 S() {}
fS21 int f() { return 0; }
22 int k;
23 };
24
25 struct T : S {
26 int t;
27 };
28
main(int,char ** argv)29 int main(int, char **argv) {
30 char c[] __attribute__((aligned(8))) = { 0, 0, 0, 0, 1, 2, 3, 4, 5 };
31
32 // Pointer value may be unspecified here, but behavior is not undefined.
33 int *p = (int*)&c[4 + argv[1][1] - '0'];
34 S *s = (S*)p;
35 T *t = (T*)p;
36
37 void *wild = reinterpret_cast<void *>(0x123L);
38
39 (void)*p; // ok!
40
41 switch (argv[1][0]) {
42 case 'l':
43 // CHECK-LOAD: misaligned.cpp:[[@LINE+4]]{{(:12)?}}: runtime error: load of misaligned address [[PTR:0x[0-9a-f]*]] for type 'int', which requires 4 byte alignment
44 // CHECK-LOAD-NEXT: [[PTR]]: note: pointer points here
45 // CHECK-LOAD-NEXT: {{^ 00 00 00 01 02 03 04 05}}
46 // CHECK-LOAD-NEXT: {{^ \^}}
47 return *p && 0;
48 // CHECK-STACK-LOAD: #0 {{.*}}main{{.*}}misaligned.cpp
49
50 case 's':
51 // CHECK-STORE: misaligned.cpp:[[@LINE+4]]{{(:5)?}}: runtime error: store to misaligned address [[PTR:0x[0-9a-f]*]] for type 'int', which requires 4 byte alignment
52 // CHECK-STORE-NEXT: [[PTR]]: note: pointer points here
53 // CHECK-STORE-NEXT: {{^ 00 00 00 01 02 03 04 05}}
54 // CHECK-STORE-NEXT: {{^ \^}}
55 *p = 1;
56 break;
57
58 case 'r':
59 // CHECK-REFERENCE: misaligned.cpp:[[@LINE+4]]{{(:(5|15))?}}: runtime error: reference binding to misaligned address [[PTR:0x[0-9a-f]*]] for type 'int', which requires 4 byte alignment
60 // CHECK-REFERENCE-NEXT: [[PTR]]: note: pointer points here
61 // CHECK-REFERENCE-NEXT: {{^ 00 00 00 01 02 03 04 05}}
62 // CHECK-REFERENCE-NEXT: {{^ \^}}
63 {int &r = *p;}
64 break;
65
66 case 'm':
67 // CHECK-MEMBER: misaligned.cpp:[[@LINE+4]]{{(:15)?}}: runtime error: member access within misaligned address [[PTR:0x[0-9a-f]*]] for type 'S', which requires 4 byte alignment
68 // CHECK-MEMBER-NEXT: [[PTR]]: note: pointer points here
69 // CHECK-MEMBER-NEXT: {{^ 00 00 00 01 02 03 04 05}}
70 // CHECK-MEMBER-NEXT: {{^ \^}}
71 return s->k && 0;
72
73 case 'f':
74 // CHECK-MEMFUN: misaligned.cpp:[[@LINE+4]]{{(:15)?}}: runtime error: member call on misaligned address [[PTR:0x[0-9a-f]*]] for type 'S', which requires 4 byte alignment
75 // CHECK-MEMFUN-NEXT: [[PTR]]: note: pointer points here
76 // CHECK-MEMFUN-NEXT: {{^ 00 00 00 01 02 03 04 05}}
77 // CHECK-MEMFUN-NEXT: {{^ \^}}
78 return s->f() && 0;
79
80 case 'n':
81 // CHECK-NEW: misaligned.cpp:[[@LINE+4]]{{(:21)?}}: runtime error: constructor call on misaligned address [[PTR:0x[0-9a-f]*]] for type 'S', which requires 4 byte alignment
82 // CHECK-NEW-NEXT: [[PTR]]: note: pointer points here
83 // CHECK-NEW-NEXT: {{^ 00 00 00 01 02 03 04 05}}
84 // CHECK-NEW-NEXT: {{^ \^}}
85 return (new (s) S)->k && 0;
86
87 case 'u': {
88 // CHECK-UPCAST: misaligned.cpp:[[@LINE+4]]{{(:17)?}}: runtime error: upcast of misaligned address [[PTR:0x[0-9a-f]*]] for type 'T', which requires 4 byte alignment
89 // CHECK-UPCAST-NEXT: [[PTR]]: note: pointer points here
90 // CHECK-UPCAST-NEXT: {{^ 00 00 00 01 02 03 04 05}}
91 // CHECK-UPCAST-NEXT: {{^ \^}}
92 S *s2 = (S*)t;
93 return s2->f();
94 }
95
96 case 'w':
97 // CHECK-WILD: misaligned.cpp:[[@LINE+3]]{{(:35)?}}: runtime error: member access within misaligned address 0x{{0+}}123 for type 'S', which requires 4 byte alignment
98 // CHECK-WILD-NEXT: 0x{{0+}}123: note: pointer points here
99 // CHECK-WILD-NEXT: <memory cannot be printed>
100 return static_cast<S*>(wild)->k;
101 }
102 }
103