diff options
| author | gingerBill <bill@gingerbill.org> | 2018-06-12 19:10:14 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-06-12 19:10:14 +0100 |
| commit | e9e7ce2606ae18dd96fde356860fe613ff5c5430 (patch) | |
| tree | 513221bea901cbba620f5ebe3cc32d4617bd9cb8 /src/checker.cpp | |
| parent | 915dcb0c28623e1221729cb46f998c5d6435689b (diff) | |
Allow `.allocator` for dynamic arrays; Add `mem.Pool`
Diffstat (limited to 'src/checker.cpp')
| -rw-r--r-- | src/checker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/checker.cpp b/src/checker.cpp index d874a924e..3ec95e842 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -1588,7 +1588,7 @@ void init_core_type_info(Checker *c) { t_type_info_bit_field_ptr = alloc_type_pointer(t_type_info_bit_field); } -void init_core_allocator(Checker *c) { +void init_mem_allocator(Checker *c) { if (t_allocator != nullptr) { return; } @@ -1633,7 +1633,7 @@ void init_core_map_type(Checker *c) { void init_preload(Checker *c) { init_core_type_info(c); - init_core_allocator(c); + init_mem_allocator(c); init_core_context(c); init_core_source_code_location(c); init_core_map_type(c); |