1*d21b3d34SFangrui Song // RUN: %clangxx_msan -O0 -g %s -o %t && %run %t
2*d21b3d34SFangrui Song 
3*d21b3d34SFangrui Song #include <assert.h>
4*d21b3d34SFangrui Song #include <sanitizer/msan_interface.h>
5*d21b3d34SFangrui Song #include <semaphore.h>
6*d21b3d34SFangrui Song 
main(void)7*d21b3d34SFangrui Song int main(void) {
8*d21b3d34SFangrui Song   sem_t sem;
9*d21b3d34SFangrui Song   int res = sem_init(&sem, 0, 42);
10*d21b3d34SFangrui Song   assert(res == 0);
11*d21b3d34SFangrui Song 
12*d21b3d34SFangrui Song   int v;
13*d21b3d34SFangrui Song   res = sem_getvalue(&sem, &v);
14*d21b3d34SFangrui Song   assert(res == 0);
15*d21b3d34SFangrui Song   __msan_check_mem_is_initialized(&v, sizeof(v));
16*d21b3d34SFangrui Song   assert(v == 42);
17*d21b3d34SFangrui Song 
18*d21b3d34SFangrui Song   res = sem_destroy(&sem);
19*d21b3d34SFangrui Song   assert(res == 0);
20*d21b3d34SFangrui Song 
21*d21b3d34SFangrui Song   return 0;
22*d21b3d34SFangrui Song }
23