1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
// RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 %s -o %t && not %run %t >%t.out 2>&1
// RUN: FileCheck %s < %t.out && FileCheck %s < %t.out
// XFAIL: target=mips{{.*}}
#include <assert.h>
#include <wchar.h>
#include <sanitizer/msan_interface.h>
int main() {
const wchar_t *s = L"abc";
assert(wcslen(s) == 3);
wchar_t s2[5];
assert(wcsncpy(s2, s, 3) == s2);
assert(__msan_test_shadow(&s2, 5 * sizeof(wchar_t)) == 3 * sizeof(wchar_t));
assert(wcsncpy(s2, s, 5) == s2);
assert(__msan_test_shadow(&s2, 5 * sizeof(wchar_t)) == -1);
wchar_t s3[5];
assert(wcsncpy(s3, s, 2) == s3);
assert(__msan_test_shadow(&s3, 5 * sizeof(wchar_t)) == 2 * sizeof(wchar_t));
__msan_allocated_memory(&s2[1], sizeof(wchar_t));
wchar_t s4[5];
assert(wcsncpy(s4, s2, 3) == s4);
__msan_check_mem_is_initialized(&s4, sizeof(s4));
}
// CHECK: Uninitialized bytes in __msan_check_mem_is_initialized
// CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
// CHECK: in main {{.*}}wcsncpy.cpp:28
// CHECK: Uninitialized value was stored to memory at
// CHECK: in {{[^\s]*}}wcsncpy
// CHECK: in main {{.*}}wcsncpy.cpp:27
// CHECK: Memory was marked as uninitialized
// CHECK: in __msan_allocated_memory
// CHECK: in main {{.*}}wcsncpy.cpp:25
|
