123 lines · cpp
1// RUN: %clangxx_msan -O0 -g %s -o %t && %run %t >%t.out 2>&12// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NO-ORIGINS < %t.out3 4// RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 -g %s -o %t && %run %t >%t.out 2>&15// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS < %t.out6 7// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -O0 -g %s -o %t && %run %t >%t.out 2>&18// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS --check-prefix=CHECK-ORIGINS-2 < %t.out9 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 [0x{{.*}}, 0x{{.*}}) of [0x{{.*}}, 0x{{.*}}), 297 bytes:56 57// CHECK-NO-ORIGINS: 0x{{.*}}: ..00ffff 00000000 ffffffff ffffffff58// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff59// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff60// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff61// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff62// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff63// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff64// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff65// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff66// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff67// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff68// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff69// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff70// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff71// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff72// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff73// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff74// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff75// 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 allocation99// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:14100 101// CHECK-ORIGINS: Origin B (origin_id {{.*}}):102// CHECK-ORIGINS: Memory was marked as uninitialized103// CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory104// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:18105 106// CHECK-ORIGINS: Origin C (origin_id {{.*}}):107// CHECK-ORIGINS-2: Uninitialized value was stored to memory at108// CHECK-ORIGINS-2: #0 {{.*}} in main{{.*}}msan_print_shadow.cpp:48109// CHECK-ORIGINS: Uninitialized value was created by an allocation of 'x' in the stack frame110// CHECK-ORIGINS: #0 {{.*}} in main{{.*}}msan_print_shadow.cpp:13111 112// CHECK-ORIGINS: Origin D (origin_id {{.*}}):113// CHECK-ORIGINS: Memory was marked as uninitialized114// CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory115// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:20116 117// ...118 119// CHECK-ORIGINS: Origin Z (origin_id {{.*}}):120// CHECK-ORIGINS: Memory was marked as uninitialized121// CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory122// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cpp:42123