1*d21b3d34SFangrui Song // RUN: %clangxx_msan -std=c++11 -O0 %s -o %t && %run %t
2*d21b3d34SFangrui Song
3*d21b3d34SFangrui Song #include <assert.h>
4*d21b3d34SFangrui Song #include <unistd.h>
5*d21b3d34SFangrui Song #include <sys/mman.h>
6*d21b3d34SFangrui Song #include <sanitizer/msan_interface.h>
7*d21b3d34SFangrui Song
main(void)8*d21b3d34SFangrui Song int main(void) {
9*d21b3d34SFangrui Song unsigned char vec[20];
10*d21b3d34SFangrui Song int res;
11*d21b3d34SFangrui Song size_t PS = sysconf(_SC_PAGESIZE);
12*d21b3d34SFangrui Song void *addr = mmap(nullptr, 20 * PS, PROT_READ | PROT_WRITE,
13*d21b3d34SFangrui Song MAP_PRIVATE | MAP_ANONYMOUS, 0, 0);
14*d21b3d34SFangrui Song
15*d21b3d34SFangrui Song __msan_poison(&vec, sizeof(vec));
16*d21b3d34SFangrui Song res = mincore(addr, 10 * PS, vec);
17*d21b3d34SFangrui Song assert(res == 0);
18*d21b3d34SFangrui Song assert(__msan_test_shadow(vec, sizeof(vec)) == 10);
19*d21b3d34SFangrui Song
20*d21b3d34SFangrui Song __msan_poison(&vec, sizeof(vec));
21*d21b3d34SFangrui Song res = mincore(addr, 10 * PS + 42, vec);
22*d21b3d34SFangrui Song assert(res == 0);
23*d21b3d34SFangrui Song assert(__msan_test_shadow(vec, sizeof(vec)) == 11);
24*d21b3d34SFangrui Song
25*d21b3d34SFangrui Song __msan_poison(&vec, sizeof(vec));
26*d21b3d34SFangrui Song res = mincore(addr, 10 * PS - 1, vec);
27*d21b3d34SFangrui Song assert(res == 0);
28*d21b3d34SFangrui Song assert(__msan_test_shadow(vec, sizeof(vec)) == 10);
29*d21b3d34SFangrui Song
30*d21b3d34SFangrui Song __msan_poison(&vec, sizeof(vec));
31*d21b3d34SFangrui Song res = mincore(addr, 1, vec);
32*d21b3d34SFangrui Song assert(res == 0);
33*d21b3d34SFangrui Song assert(__msan_test_shadow(vec, sizeof(vec)) == 1);
34*d21b3d34SFangrui Song
35*d21b3d34SFangrui Song return 0;
36*d21b3d34SFangrui Song }
37