1600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// Test the behavior of malloc/calloc/realloc when the allocation size is huge.
2600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// By default (allocator_may_return_null=0) the process should crash.
3600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// With allocator_may_return_null=1 the allocator should return 0.
4600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov//
5600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// RUN: %clangxx_msan -O0 %s -o %t
62d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t malloc 2>&1 | FileCheck %s --check-prefix=CHECK-mCRASH
72d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t malloc 2>&1 | FileCheck %s --check-prefix=CHECK-mCRASH
82d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=1     %run %t malloc 2>&1 | FileCheck %s --check-prefix=CHECK-mNULL
92d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t calloc 2>&1 | FileCheck %s --check-prefix=CHECK-cCRASH
102d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=1     %run %t calloc 2>&1 | FileCheck %s --check-prefix=CHECK-cNULL
112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t calloc-overflow 2>&1 | FileCheck %s --check-prefix=CHECK-coCRASH
122d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=1     %run %t calloc-overflow 2>&1 | FileCheck %s --check-prefix=CHECK-coNULL
132d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t realloc 2>&1 | FileCheck %s --check-prefix=CHECK-rCRASH
142d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=1     %run %t realloc 2>&1 | FileCheck %s --check-prefix=CHECK-rNULL
152d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t realloc-after-malloc 2>&1 | FileCheck %s --check-prefix=CHECK-mrCRASH
162d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: MSAN_OPTIONS=allocator_may_return_null=1     %run %t realloc-after-malloc 2>&1 | FileCheck %s --check-prefix=CHECK-mrNULL
17600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov
18600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov#include <limits.h>
19600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov#include <stdlib.h>
20600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov#include <string.h>
21600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov#include <stdio.h>
22600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov#include <assert.h>
23600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov#include <limits>
24600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanovint main(int argc, char **argv) {
25600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  volatile size_t size = std::numeric_limits<size_t>::max() - 10000;
26600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  assert(argc == 2);
27600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  char *x = 0;
28600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  if (!strcmp(argv[1], "malloc")) {
29600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    fprintf(stderr, "malloc:\n");
30600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    x = (char*)malloc(size);
31600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  }
32600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  if (!strcmp(argv[1], "calloc")) {
33600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    fprintf(stderr, "calloc:\n");
34600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    x = (char*)calloc(size / 4, 4);
35600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  }
36600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov
37600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  if (!strcmp(argv[1], "calloc-overflow")) {
38600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    fprintf(stderr, "calloc-overflow:\n");
39600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    volatile size_t kMaxSizeT = std::numeric_limits<size_t>::max();
40600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    size_t kArraySize = 4096;
41600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    volatile size_t kArraySize2 = kMaxSizeT / kArraySize + 10;
42600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    x = (char*)calloc(kArraySize, kArraySize2);
43600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  }
44600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov
45600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  if (!strcmp(argv[1], "realloc")) {
46600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    fprintf(stderr, "realloc:\n");
47600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    x = (char*)realloc(0, size);
48600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  }
49600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  if (!strcmp(argv[1], "realloc-after-malloc")) {
50600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    fprintf(stderr, "realloc-after-malloc:\n");
51600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    char *t = (char*)malloc(100);
52600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    *t = 42;
53600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    x = (char*)realloc(t, size);
54600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov    assert(*t == 42);
55600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  }
56600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  // The NULL pointer is printed differently on different systems, while (long)0
57600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  // is always the same.
58600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  fprintf(stderr, "x: %lx\n", (long)x);
59600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov  return x != 0;
60600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov}
61600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mCRASH: malloc:
62600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mCRASH: MemorySanitizer's allocator is terminating the process
63600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-cCRASH: calloc:
64600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-cCRASH: MemorySanitizer's allocator is terminating the process
65600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-coCRASH: calloc-overflow:
66600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-coCRASH: MemorySanitizer's allocator is terminating the process
67600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-rCRASH: realloc:
68600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-rCRASH: MemorySanitizer's allocator is terminating the process
69600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mrCRASH: realloc-after-malloc:
70600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mrCRASH: MemorySanitizer's allocator is terminating the process
71600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov
72600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mNULL: malloc:
73600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mNULL: x: 0
74600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-cNULL: calloc:
75600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-cNULL: x: 0
76600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-coNULL: calloc-overflow:
77600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-coNULL: x: 0
78600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-rNULL: realloc:
79600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-rNULL: x: 0
80600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mrNULL: realloc-after-malloc:
81600d51680fb20f670695e931de60df4d88616e96Evgeniy Stepanov// CHECK-mrNULL: x: 0
82