// RUN: %clangxx_msan -O0 -g %s -o %t && %run %t

#include <assert.h>
#include <sanitizer/msan_interface.h>
#include <semaphore.h>

int main(void) {
  sem_t sem;
  int res = sem_init(&sem, 0, 42);
  assert(res == 0);

  int v;
  res = sem_getvalue(&sem, &v);
  assert(res == 0);
  __msan_check_mem_is_initialized(&v, sizeof(v));
  assert(v == 42);

  res = sem_destroy(&sem);
  assert(res == 0);

  return 0;
}