1bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
2bcaeed49SFangrui Song #include "test.h"
3bcaeed49SFangrui Song #include <stdint.h>
4bcaeed49SFangrui Song #include <errno.h>
5bcaeed49SFangrui Song #include <sys/mman.h>
6bcaeed49SFangrui Song
7bcaeed49SFangrui Song // Test for issue:
8bcaeed49SFangrui Song // https://github.com/google/sanitizers/issues/412
9bcaeed49SFangrui Song
10bcaeed49SFangrui Song // MAP_32BIT flag for mmap is supported only for x86_64.
11bcaeed49SFangrui Song // XFAIL: mips
12bcaeed49SFangrui Song // XFAIL: aarch64
13bcaeed49SFangrui Song // XFAIL: powerpc64
14*937242ceSIlya Leoshkevich // XFAIL: s390x
15bcaeed49SFangrui Song
16bcaeed49SFangrui Song // MAP_32BIT doesn't exist on OS X and NetBSD.
17bcaeed49SFangrui Song // UNSUPPORTED: darwin,netbsd
18bcaeed49SFangrui Song
Thread(void * ptr)19bcaeed49SFangrui Song void *Thread(void *ptr) {
20bcaeed49SFangrui Song *(int*)ptr = 42;
21bcaeed49SFangrui Song barrier_wait(&barrier);
22bcaeed49SFangrui Song return 0;
23bcaeed49SFangrui Song }
24bcaeed49SFangrui Song
main()25bcaeed49SFangrui Song int main() {
26bcaeed49SFangrui Song barrier_init(&barrier, 2);
27bcaeed49SFangrui Song void *ptr = mmap(0, 128 << 10, PROT_READ|PROT_WRITE,
28bcaeed49SFangrui Song MAP_32BIT|MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
29bcaeed49SFangrui Song fprintf(stderr, "ptr=%p\n", ptr);
30bcaeed49SFangrui Song if (ptr == MAP_FAILED) {
31bcaeed49SFangrui Song fprintf(stderr, "mmap failed: %d\n", errno);
32bcaeed49SFangrui Song return 1;
33bcaeed49SFangrui Song }
34bcaeed49SFangrui Song if ((uintptr_t)ptr >= (1ull << 32)) {
35bcaeed49SFangrui Song fprintf(stderr, "ptr is too high\n");
36bcaeed49SFangrui Song return 1;
37bcaeed49SFangrui Song }
38bcaeed49SFangrui Song pthread_t t;
39bcaeed49SFangrui Song pthread_create(&t, 0, Thread, ptr);
40bcaeed49SFangrui Song barrier_wait(&barrier);
41bcaeed49SFangrui Song *(int*)ptr = 42;
42bcaeed49SFangrui Song pthread_join(t, 0);
43bcaeed49SFangrui Song munmap(ptr, 128 << 10);
44bcaeed49SFangrui Song fprintf(stderr, "DONE\n");
45bcaeed49SFangrui Song }
46bcaeed49SFangrui Song
47bcaeed49SFangrui Song // CHECK: WARNING: ThreadSanitizer: data race
48bcaeed49SFangrui Song // CHECK: DONE
49