1d21b3d34SFangrui Song // RUN: %clangxx_msan -O0 -g %s -o %t && %run %t >%t.out 2>&1
2d21b3d34SFangrui Song // RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NO-ORIGINS < %t.out
3d21b3d34SFangrui Song
4d21b3d34SFangrui Song // RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 -g %s -o %t && %run %t >%t.out 2>&1
5d21b3d34SFangrui Song // RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS < %t.out
6d21b3d34SFangrui Song
7d21b3d34SFangrui Song // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -O0 -g %s -o %t && %run %t >%t.out 2>&1
8d21b3d34SFangrui Song // RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS --check-prefix=CHECK-ORIGINS-2 < %t.out
9d21b3d34SFangrui Song
10d21b3d34SFangrui Song #include <sanitizer/msan_interface.h>
11d21b3d34SFangrui Song
main(void)12d21b3d34SFangrui Song int main(void) {
13d21b3d34SFangrui Song char volatile x;
14d21b3d34SFangrui Song char *p = new char[320];
15d21b3d34SFangrui Song p[2] = p[5] = 1;
16d21b3d34SFangrui Song p[8] = p[9] = p[10] = p[11] = p[12] = 2;
17d21b3d34SFangrui Song
18d21b3d34SFangrui Song __msan_allocated_memory(p + 4*3, 4);
19d21b3d34SFangrui Song __msan_allocated_memory(p + 4*4, 4);
20d21b3d34SFangrui Song __msan_allocated_memory(p + 4*5, 4);
21d21b3d34SFangrui Song __msan_allocated_memory(p + 4*6, 4);
22d21b3d34SFangrui Song __msan_allocated_memory(p + 4*7, 4);
23d21b3d34SFangrui Song __msan_allocated_memory(p + 4*8, 4);
24d21b3d34SFangrui Song __msan_allocated_memory(p + 4*9, 4);
25d21b3d34SFangrui Song __msan_allocated_memory(p + 4*10, 4);
26d21b3d34SFangrui Song __msan_allocated_memory(p + 4*11, 4);
27d21b3d34SFangrui Song __msan_allocated_memory(p + 4*12, 4);
28d21b3d34SFangrui Song __msan_allocated_memory(p + 4*13, 4);
29d21b3d34SFangrui Song __msan_allocated_memory(p + 4*14, 4);
30d21b3d34SFangrui Song __msan_allocated_memory(p + 4*15, 4);
31d21b3d34SFangrui Song __msan_allocated_memory(p + 4*16, 4);
32d21b3d34SFangrui Song __msan_allocated_memory(p + 4*17, 4);
33d21b3d34SFangrui Song __msan_allocated_memory(p + 4*18, 4);
34d21b3d34SFangrui Song __msan_allocated_memory(p + 4*19, 4);
35d21b3d34SFangrui Song __msan_allocated_memory(p + 4*20, 4);
36d21b3d34SFangrui Song __msan_allocated_memory(p + 4*21, 4);
37d21b3d34SFangrui Song __msan_allocated_memory(p + 4*22, 4);
38d21b3d34SFangrui Song __msan_allocated_memory(p + 4*23, 4);
39d21b3d34SFangrui Song __msan_allocated_memory(p + 4*24, 4);
40d21b3d34SFangrui Song __msan_allocated_memory(p + 4*25, 4);
41d21b3d34SFangrui Song __msan_allocated_memory(p + 4*26, 4);
42d21b3d34SFangrui Song __msan_allocated_memory(p + 4*27, 4);
43d21b3d34SFangrui Song __msan_allocated_memory(p + 4*28, 4);
44d21b3d34SFangrui Song __msan_allocated_memory(p + 4*29, 4);
45d21b3d34SFangrui Song __msan_allocated_memory(p + 4*30, 4);
46d21b3d34SFangrui Song __msan_allocated_memory(p + 4*31, 4);
47d21b3d34SFangrui Song
48d21b3d34SFangrui Song p[19] = x;
49d21b3d34SFangrui Song
50d21b3d34SFangrui Song __msan_print_shadow(p+5, 297);
51d21b3d34SFangrui Song delete[] p;
52d21b3d34SFangrui Song return 0;
53d21b3d34SFangrui Song }
54d21b3d34SFangrui Song
55*ef85ea9aSVitaly Buka // CHECK: Shadow map [0x{{.*}}, 0x{{.*}}) of [0x{{.*}}, 0x{{.*}}), 297 bytes:
56d21b3d34SFangrui Song
57d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ..00ffff 00000000 ffffffff ffffffff
58d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
59d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
60d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
61d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
62d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
63d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
64d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
65d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
66d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
67d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
68d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
69d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
70d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
71d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
72d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
73d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
74d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
75d21b3d34SFangrui Song // CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffff.... ........
76d21b3d34SFangrui Song
77d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ..00ffff 00000000 ffffffff ffffffff |A . B C|
78d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |D E F G|
79d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |H I J K|
80d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |L M N O|
81d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |P Q R S|
82d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |T U V W|
83d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |X Y Z *|
84d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |* * * A|
85d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
86d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
87d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
88d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
89d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
90d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
91d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
92d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
93d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
94d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A A A|
95d21b3d34SFangrui Song // CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffff.... ........ |A A A .|
96d21b3d34SFangrui Song
97d21b3d34SFangrui Song // CHECK-ORIGINS: Origin A (origin_id {{.*}}):
98d21b3d34SFangrui Song // CHECK-ORIGINS: Uninitialized value was created by a heap allocation
99d21b3d34SFangrui Song // CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:14
100d21b3d34SFangrui Song
101d21b3d34SFangrui Song // CHECK-ORIGINS: Origin B (origin_id {{.*}}):
102d21b3d34SFangrui Song // CHECK-ORIGINS: Memory was marked as uninitialized
103d21b3d34SFangrui Song // CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory
104d21b3d34SFangrui Song // CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:18
105d21b3d34SFangrui Song
106d21b3d34SFangrui Song // CHECK-ORIGINS: Origin C (origin_id {{.*}}):
107d21b3d34SFangrui Song // CHECK-ORIGINS-2: Uninitialized value was stored to memory at
108d21b3d34SFangrui Song // CHECK-ORIGINS-2: #0 {{.*}} in main{{.*}}msan_print_shadow.cpp:48
109d21b3d34SFangrui Song // CHECK-ORIGINS: Uninitialized value was created by an allocation of 'x' in the stack frame of function 'main'
110d21b3d34SFangrui Song // CHECK-ORIGINS: #0 {{.*}} in main{{.*}}msan_print_shadow.cpp:12
111d21b3d34SFangrui Song
112d21b3d34SFangrui Song // CHECK-ORIGINS: Origin D (origin_id {{.*}}):
113d21b3d34SFangrui Song // CHECK-ORIGINS: Memory was marked as uninitialized
114d21b3d34SFangrui Song // CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory
115d21b3d34SFangrui Song // CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:20
116d21b3d34SFangrui Song
117d21b3d34SFangrui Song // ...
118d21b3d34SFangrui Song
119d21b3d34SFangrui Song // CHECK-ORIGINS: Origin Z (origin_id {{.*}}):
120d21b3d34SFangrui Song // CHECK-ORIGINS: Memory was marked as uninitialized
121d21b3d34SFangrui Song // CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory
122d21b3d34SFangrui Song // CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:42
123