1 // RUN: %clangxx_msan -O0 -g -DPOSITIVE %s -o %t 2 // RUN: not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK 3 // RUN: MSAN_OPTIONS=verbosity=1 not %run %t 2>&1 | \ 4 // RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-VERBOSE 5 6 // RUN: %clangxx_msan -O0 -g %s -o %t && %run %t 7 8 #include <sanitizer/msan_interface.h> 9 10 int main(void) { 11 char p[32] = {}; 12 __msan_poison(p + 10, 2); 13 14 __msan_check_mem_is_initialized(p, 10); 15 __msan_check_mem_is_initialized(p + 12, 30); 16 #ifdef POSITIVE 17 __msan_check_mem_is_initialized(p + 5, 20); 18 // CHECK: Uninitialized bytes in __msan_check_mem_is_initialized at offset 5 inside [0x{{.*}}, 20) 19 // CHECK-VERBOSE: Shadow map of [0x{{.*}}, 0x{{.*}}), 20 bytes: 20 // CHECK-VERBOSE: 0x{{.*}}: ..000000 0000ffff 00000000 00000000 21 // CHECK-VERBOSE: 0x{{.*}}: 00000000 00...... ........ ........ 22 23 // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value 24 // CHECK: #0 0x{{.*}}in main{{.*}}msan_check_mem_is_initialized.cc:[[@LINE-7]] 25 #endif 26 return 0; 27 } 28 29
