1 // Support routines for the -*- C++ -*- dynamic memory management.
3 // Copyright (C) 1997-2023 Free Software Foundation, Inc.
5 // This file is part of GCC.
7 // GCC is free software; you can redistribute it and/or modify
8 // it under the terms of the GNU General Public License as published by
9 // the Free Software Foundation; either version 3, or (at your option)
12 // GCC is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // Under Section 7 of GPL version 3, you are granted additional
18 // permissions described in the GCC Runtime Library Exception, version
19 // 3.1, as published by the Free Software Foundation.
21 // You should have received a copy of the GNU General Public License and
22 // a copy of the GCC Runtime Library Exception along with this program;
23 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
24 // <http://www.gnu.org/licenses/>.
26 #include <bits/c++config.h>
32 #if !_GLIBCXX_HAVE_ALIGNED_ALLOC && !_GLIBCXX_HAVE__ALIGNED_MALLOC \
33 && !_GLIBCXX_HAVE_POSIX_MEMALIGN && _GLIBCXX_HAVE_MEMALIGN
34 # if _GLIBCXX_HOSTED && __has_include(<malloc.h>)
35 // Some C libraries declare memalign in <malloc.h>
38 extern "C" void *memalign(std::size_t boundary
, std::size_t size
);
42 using std::new_handler
;
49 # if _GLIBCXX_HAVE_ALIGNED_ALLOC
50 void *aligned_alloc(size_t alignment
, size_t size
);
51 # elif _GLIBCXX_HAVE__ALIGNED_MALLOC
52 void *_aligned_malloc(size_t size
, size_t alignment
);
53 # elif _GLIBCXX_HAVE_POSIX_MEMALIGN
54 void *posix_memalign(void **, size_t alignment
, size_t size
);
55 # elif _GLIBCXX_HAVE_MEMALIGN
56 void *memalign(size_t alignment
, size_t size
);
58 // A freestanding C runtime may not provide "malloc" -- but there is no
59 // other reasonable way to implement "operator new".
66 #if _GLIBCXX_HAVE_ALIGNED_ALLOC
67 using ::aligned_alloc
;
68 #elif _GLIBCXX_HAVE__ALIGNED_MALLOC
70 aligned_alloc (std::size_t al
, std::size_t sz
)
71 { return _aligned_malloc(sz
, al
); }
72 #elif _GLIBCXX_HAVE_POSIX_MEMALIGN
74 aligned_alloc (std::size_t al
, std::size_t sz
)
77 // posix_memalign has additional requirement, not present on aligned_alloc:
78 // The value of alignment shall be a power of two multiple of sizeof(void *).
79 if (al
< sizeof(void*))
81 int ret
= posix_memalign (&ptr
, al
, sz
);
86 #elif _GLIBCXX_HAVE_MEMALIGN
88 aligned_alloc (std::size_t al
, std::size_t sz
)
90 // Solaris requires al >= sizeof a word and QNX requires >= sizeof(void*)
91 // but they both provide posix_memalign, so will use the definition above.
92 return memalign (al
, sz
);
94 #else // !HAVE__ALIGNED_MALLOC && !HAVE_POSIX_MEMALIGN && !HAVE_MEMALIGN
95 // The C library doesn't provide any aligned allocation functions, define one.
96 // This is a modified version of code from gcc/config/i386/gmm_malloc.h
98 aligned_alloc (std::size_t al
, std::size_t sz
)
100 // We need extra bytes to store the original value returned by malloc.
101 if (al
< sizeof(void*))
103 void* const malloc_ptr
= malloc(sz
+ al
);
106 // Align to the requested value, leaving room for the original malloc value.
107 void* const aligned_ptr
= (void *) (((uintptr_t) malloc_ptr
+ al
) & -al
);
109 // Store the original malloc value where it can be found by operator delete.
110 ((void **) aligned_ptr
)[-1] = malloc_ptr
;
115 } // namespace __gnu_cxx
117 _GLIBCXX_WEAK_DEFINITION
void *
118 operator new (std::size_t sz
, std::align_val_t al
)
120 std::size_t align
= (std::size_t)al
;
122 /* Alignment must be a power of two. */
123 /* XXX This should be checked by the compiler (PR 86878). */
124 if (__builtin_expect (!std::__has_single_bit(align
), false))
125 _GLIBCXX_THROW_OR_ABORT(bad_alloc());
127 /* malloc (0) is unpredictable; avoid it. */
128 if (__builtin_expect (sz
== 0, false))
131 #if _GLIBCXX_HAVE_ALIGNED_ALLOC
132 # if defined _AIX || defined __APPLE__
133 /* AIX 7.2.0.0 aligned_alloc incorrectly has posix_memalign's requirement
134 * that alignment is a multiple of sizeof(void*).
135 * OS X 10.15 has the same requirement. */
136 if (align
< sizeof(void*))
137 align
= sizeof(void*);
139 /* C11: the value of size shall be an integral multiple of alignment. */
140 sz
= (sz
+ align
- 1) & ~(align
- 1);
145 while ((p
= __gnu_cxx::aligned_alloc (align
, sz
)) == nullptr)
147 new_handler handler
= std::get_new_handler ();
149 _GLIBCXX_THROW_OR_ABORT(bad_alloc());