1*bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t
2*bcaeed49SFangrui Song // RUN: %env_tsan_opts=allocator_may_return_null=1 %run %t 2>&1 | FileCheck %s
3*bcaeed49SFangrui Song #include <stdio.h>
4*bcaeed49SFangrui Song #include <stdlib.h>
5*bcaeed49SFangrui Song
main()6*bcaeed49SFangrui Song int main() {
7*bcaeed49SFangrui Song void *p = malloc((size_t)-1);
8*bcaeed49SFangrui Song if (p != 0)
9*bcaeed49SFangrui Song fprintf(stderr, "FAIL malloc(-1) = %p\n", p);
10*bcaeed49SFangrui Song p = malloc((size_t)-1 / 2);
11*bcaeed49SFangrui Song if (p != 0)
12*bcaeed49SFangrui Song fprintf(stderr, "FAIL malloc(-1/2) = %p\n", p);
13*bcaeed49SFangrui Song p = calloc((size_t)-1, (size_t)-1);
14*bcaeed49SFangrui Song if (p != 0)
15*bcaeed49SFangrui Song fprintf(stderr, "FAIL calloc(-1, -1) = %p\n", p);
16*bcaeed49SFangrui Song p = calloc((size_t)-1 / 2, (size_t)-1 / 2);
17*bcaeed49SFangrui Song if (p != 0)
18*bcaeed49SFangrui Song fprintf(stderr, "FAIL calloc(-1/2, -1/2) = %p\n", p);
19*bcaeed49SFangrui Song fprintf(stderr, "OK\n");
20*bcaeed49SFangrui Song }
21*bcaeed49SFangrui Song
22*bcaeed49SFangrui Song // CHECK-NOT: FAIL
23*bcaeed49SFangrui Song // CHECK-NOT: failed to allocate
24