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