annotate compiler-rt/test/scudo/realloc.cpp @ 222:81f6424ef0e3 llvm-original

LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 79ff65ed7e25
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clangxx_scudo %s -lstdc++ -o %t
anatofuz
parents:
diff changeset
2 // RUN: %run %t pointers 2>&1
anatofuz
parents:
diff changeset
3 // RUN: %run %t contents 2>&1
anatofuz
parents:
diff changeset
4 // RUN: %run %t usablesize 2>&1
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 // Tests that our reallocation function returns the same pointer when the
anatofuz
parents:
diff changeset
7 // requested size can fit into the previously allocated chunk. Also tests that
anatofuz
parents:
diff changeset
8 // a new chunk is returned if the size is greater, and that the contents of the
anatofuz
parents:
diff changeset
9 // chunk are left unchanged. Finally, checks that realloc copies the usable
anatofuz
parents:
diff changeset
10 // size of the old chunk to the new one (as opposed to the requested size).
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 #include <assert.h>
anatofuz
parents:
diff changeset
13 #include <malloc.h>
anatofuz
parents:
diff changeset
14 #include <string.h>
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #include <vector>
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 #include <sanitizer/allocator_interface.h>
anatofuz
parents:
diff changeset
19
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
20 int main(int argc, char **argv) {
150
anatofuz
parents:
diff changeset
21 void *p, *old_p;
anatofuz
parents:
diff changeset
22 // Those sizes will exercise both allocators (Primary & Secondary).
anatofuz
parents:
diff changeset
23 std::vector<size_t> sizes{1, 16, 1024, 32768, 1 << 16, 1 << 17, 1 << 20};
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 assert(argc == 2);
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 if (!strcmp(argv[1], "usablesize")) {
anatofuz
parents:
diff changeset
28 // This tests a sketchy behavior inherited from poorly written libraries
anatofuz
parents:
diff changeset
29 // that have become somewhat standard. When realloc'ing a chunk, the
anatofuz
parents:
diff changeset
30 // copied contents should span the usable size of the chunk, not the
anatofuz
parents:
diff changeset
31 // requested size.
anatofuz
parents:
diff changeset
32 size_t size = 496, usable_size;
anatofuz
parents:
diff changeset
33 p = nullptr;
anatofuz
parents:
diff changeset
34 // Make sure we get a chunk with a usable size actually larger than size.
anatofuz
parents:
diff changeset
35 do {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
36 if (p)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
37 free(p);
150
anatofuz
parents:
diff changeset
38 size += 16;
anatofuz
parents:
diff changeset
39 p = malloc(size);
anatofuz
parents:
diff changeset
40 usable_size = __sanitizer_get_allocated_size(p);
anatofuz
parents:
diff changeset
41 assert(usable_size >= size);
anatofuz
parents:
diff changeset
42 } while (usable_size == size);
anatofuz
parents:
diff changeset
43 for (int i = 0; i < usable_size; i++)
anatofuz
parents:
diff changeset
44 reinterpret_cast<char *>(p)[i] = 'A';
anatofuz
parents:
diff changeset
45 old_p = p;
anatofuz
parents:
diff changeset
46 // Make sure we get a different chunk so that the data is actually copied.
anatofuz
parents:
diff changeset
47 do {
anatofuz
parents:
diff changeset
48 size *= 2;
anatofuz
parents:
diff changeset
49 p = realloc(p, size);
anatofuz
parents:
diff changeset
50 assert(p);
anatofuz
parents:
diff changeset
51 } while (p == old_p);
anatofuz
parents:
diff changeset
52 // The contents of the new chunk must match the old one up to usable_size.
anatofuz
parents:
diff changeset
53 for (int i = 0; i < usable_size; i++)
anatofuz
parents:
diff changeset
54 assert(reinterpret_cast<char *>(p)[i] == 'A');
anatofuz
parents:
diff changeset
55 free(p);
anatofuz
parents:
diff changeset
56 } else {
anatofuz
parents:
diff changeset
57 for (size_t size : sizes) {
anatofuz
parents:
diff changeset
58 if (!strcmp(argv[1], "pointers")) {
anatofuz
parents:
diff changeset
59 old_p = p = realloc(nullptr, size);
anatofuz
parents:
diff changeset
60 assert(p);
anatofuz
parents:
diff changeset
61 size = __sanitizer_get_allocated_size(p);
anatofuz
parents:
diff changeset
62 // Our realloc implementation will return the same pointer if the size
anatofuz
parents:
diff changeset
63 // requested is lower than or equal to the usable size of the associated
anatofuz
parents:
diff changeset
64 // chunk.
anatofuz
parents:
diff changeset
65 p = realloc(p, size - 1);
anatofuz
parents:
diff changeset
66 assert(p == old_p);
anatofuz
parents:
diff changeset
67 p = realloc(p, size);
anatofuz
parents:
diff changeset
68 assert(p == old_p);
anatofuz
parents:
diff changeset
69 // And a new one if the size is greater.
anatofuz
parents:
diff changeset
70 p = realloc(p, size + 1);
anatofuz
parents:
diff changeset
71 assert(p != old_p);
anatofuz
parents:
diff changeset
72 // A size of 0 will free the chunk and return nullptr.
anatofuz
parents:
diff changeset
73 p = realloc(p, 0);
anatofuz
parents:
diff changeset
74 assert(!p);
anatofuz
parents:
diff changeset
75 old_p = nullptr;
anatofuz
parents:
diff changeset
76 }
anatofuz
parents:
diff changeset
77 if (!strcmp(argv[1], "contents")) {
anatofuz
parents:
diff changeset
78 p = realloc(nullptr, size);
anatofuz
parents:
diff changeset
79 assert(p);
anatofuz
parents:
diff changeset
80 for (int i = 0; i < size; i++)
anatofuz
parents:
diff changeset
81 reinterpret_cast<char *>(p)[i] = 'A';
anatofuz
parents:
diff changeset
82 p = realloc(p, size + 1);
anatofuz
parents:
diff changeset
83 // The contents of the reallocated chunk must match the original one.
anatofuz
parents:
diff changeset
84 for (int i = 0; i < size; i++)
anatofuz
parents:
diff changeset
85 assert(reinterpret_cast<char *>(p)[i] == 'A');
anatofuz
parents:
diff changeset
86 }
anatofuz
parents:
diff changeset
87 }
anatofuz
parents:
diff changeset
88 }
anatofuz
parents:
diff changeset
89 return 0;
anatofuz
parents:
diff changeset
90 }
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 // CHECK: ERROR: invalid chunk type when reallocating address