![[first]](../icons/first.png){kind=icon}
![[previous]](../icons/n_left.png){kind=icon}
![[next]](../icons/n_right.png){kind=icon}
![[last]](../icons/last.png){kind=icon}
![[top]](../icons/n_top.png){kind=icon}
![[bottom]](../icons/bottom.png){kind=icon}
![[index]](../icons/index.png){kind=icon}
![[help]](../icons/help.png){kind=icon}
*/
1 /* obstack.c - subroutines used implicitly by object stack macros
2 Copyright (C) 1988-2021 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4
5 This file is free software: you can redistribute it and/or modify
6 it under the terms of the GNU Lesser General Public License as
7 published by the Free Software Foundation; either version 3 of the
8 License, or (at your option) any later version.
9
10 This file is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU Lesser General Public License for more details.
14
15 You should have received a copy of the GNU Lesser General Public License
16 along with this program. If not, see <https://www.gnu.org/licenses/>. */
17
18
19 #ifdef _LIBC
20 # include <obstack.h>
21 #else
22 # include <config.h>
23 # include "obstack.h"
24 #endif
25
26 /* NOTE BEFORE MODIFYING THIS FILE: _OBSTACK_INTERFACE_VERSION in
27 obstack.h must be incremented whenever callers compiled using an old
28 obstack.h can no longer properly call the functions in this file. */
29
30 /* Comment out all this code if we are using the GNU C Library, and are not
31 actually compiling the library itself, and the installed library
32 supports the same library interface we do. This code is part of the GNU
33 C Library, but also included in many other GNU distributions. Compiling
34 and linking in this code is a waste when using the GNU C library
35 (especially if it is a shared library). Rather than having every GNU
36 program understand 'configure --with-gnu-libc' and omit the object
37 files, it is simpler to just do this in the source for each such file. */
38 #if !defined _LIBC && defined __GNU_LIBRARY__ && __GNU_LIBRARY__ > 1
39 # include <gnu-versions.h>
40 # if (_GNU_OBSTACK_INTERFACE_VERSION == _OBSTACK_INTERFACE_VERSION \
41 || (_GNU_OBSTACK_INTERFACE_VERSION == 1 \
42 && _OBSTACK_INTERFACE_VERSION == 2 \
43 && defined SIZEOF_INT && defined SIZEOF_SIZE_T \
44 && SIZEOF_INT == SIZEOF_SIZE_T))
45 # define _OBSTACK_ELIDE_CODE
46 # endif
47 #endif
48
49 #ifndef _OBSTACK_ELIDE_CODE
50 /* If GCC, or if an oddball (testing?) host that #defines __alignof__,
51 use the already-supplied __alignof__. Otherwise, this must be Gnulib
52 (as glibc assumes GCC); defer to Gnulib's alignof_type. */
53 # if !defined __GNUC__ && !defined __alignof__
54 # include <alignof.h>
55 # define __alignof__(type) alignof_type (type)
56 # endif
57 # include <stdlib.h>
58 # include <stdint.h>
59
60 # ifndef MAX
61 # define MAX(a,b) ((a) > (b) ? (a) : (b))
62 # endif
63
64 /* Determine default alignment. */
65
66 /* If malloc were really smart, it would round addresses to DEFAULT_ALIGNMENT.
67 But in fact it might be less smart and round addresses to as much as
68 DEFAULT_ROUNDING. So we prepare for it to do that.
69
70 DEFAULT_ALIGNMENT cannot be an enum constant; see gnulib's alignof.h. */
71 #define DEFAULT_ALIGNMENT MAX (__alignof__ (long double), \
72 MAX (__alignof__ (uintmax_t), \
73 __alignof__ (void *)))
74 #define DEFAULT_ROUNDING MAX (sizeof (long double), \
75 MAX (sizeof (uintmax_t), \
76 sizeof (void *)))
77
78 /* Call functions with either the traditional malloc/free calling
79 interface, or the mmalloc/mfree interface (that adds an extra first
80 argument), based on the value of use_extra_arg. */
81
82 static void *
83 call_chunkfun (struct obstack *h, size_t size)
/* ![[next]](../icons/right.png)
![[first]](../icons/n_first.png)
![[top]](../icons/top.png)
*/
84 {
85 if (h->use_extra_arg)
86 return h->chunkfun.extra (h->extra_arg, size);
87 else
88 return h->chunkfun.plain (size);
89 }
90
91 static void
92 call_freefun (struct obstack *h, void *old_chunk)
/* ![[previous]](../icons/left.png)
*/
93 {
94 if (h->use_extra_arg)
95 h->freefun.extra (h->extra_arg, old_chunk);
96 else
97 h->freefun.plain (old_chunk);
98 }
99
100
101 /* Initialize an obstack H for use. Specify chunk size SIZE (0 means default).
102 Objects start on multiples of ALIGNMENT (0 means use default).
103
104 Return nonzero if successful, calls obstack_alloc_failed_handler if
105 allocation fails. */
106
107 static int
108 _obstack_begin_worker (struct obstack *h,
/* */
109 _OBSTACK_SIZE_T size, _OBSTACK_SIZE_T alignment)
110 {
111 struct _obstack_chunk *chunk; /* points to new chunk */
112
113 if (alignment == 0)
114 alignment = DEFAULT_ALIGNMENT;
115 if (size == 0)
116 /* Default size is what GNU malloc can fit in a 4096-byte block. */
117 {
118 /* 12 is sizeof (mhead) and 4 is EXTRA from GNU malloc.
119 Use the values for range checking, because if range checking is off,
120 the extra bytes won't be missed terribly, but if range checking is on
121 and we used a larger request, a whole extra 4096 bytes would be
122 allocated.
123
124 These number are irrelevant to the new GNU malloc. I suspect it is
125 less sensitive to the size of the request. */
126 int extra = ((((12 + DEFAULT_ROUNDING - 1) & ~(DEFAULT_ROUNDING - 1))
127 + 4 + DEFAULT_ROUNDING - 1)
128 & ~(DEFAULT_ROUNDING - 1));
129 size = 4096 - extra;
130 }
131
132 h->chunk_size = size;
133 h->alignment_mask = alignment - 1;
134
135 chunk = h->chunk = call_chunkfun (h, h->chunk_size);
136 if (!chunk)
137 (*obstack_alloc_failed_handler) ();
138 h->next_free = h->object_base = __PTR_ALIGN ((char *) chunk, chunk->contents,
139 alignment - 1);
140 h->chunk_limit = chunk->limit = (char *) chunk + h->chunk_size;
141 chunk->prev = 0;
142 /* The initial chunk now contains no empty object. */
143 h->maybe_empty_object = 0;
144 h->alloc_failed = 0;
145 return 1;
146 }
147
148 int
149 _obstack_begin (struct obstack *h,
/* */
150 _OBSTACK_SIZE_T size, _OBSTACK_SIZE_T alignment,
151 void *(*chunkfun) (size_t),
152 void (*freefun) (void *))
153 {
154 h->chunkfun.plain = chunkfun;
155 h->freefun.plain = freefun;
156 h->use_extra_arg = 0;
157 return _obstack_begin_worker (h, size, alignment);
158 }
159
160 int
161 _obstack_begin_1 (struct obstack *h,
/* */
162 _OBSTACK_SIZE_T size, _OBSTACK_SIZE_T alignment,
163 void *(*chunkfun) (void *, size_t),
164 void (*freefun) (void *, void *),
165 void *arg)
166 {
167 h->chunkfun.extra = chunkfun;
168 h->freefun.extra = freefun;
169 h->extra_arg = arg;
170 h->use_extra_arg = 1;
171 return _obstack_begin_worker (h, size, alignment);
172 }
173
174 /* Allocate a new current chunk for the obstack *H
175 on the assumption that LENGTH bytes need to be added
176 to the current object, or a new object of length LENGTH allocated.
177 Copies any partial object from the end of the old chunk
178 to the beginning of the new one. */
179
180 void
181 _obstack_newchunk (struct obstack *h, _OBSTACK_SIZE_T length)
/* */
182 {
183 struct _obstack_chunk *old_chunk = h->chunk;
184 struct _obstack_chunk *new_chunk = 0;
185 size_t obj_size = h->next_free - h->object_base;
186 char *object_base;
187
188 /* Compute size for new chunk. */
189 size_t sum1 = obj_size + length;
190 size_t sum2 = sum1 + h->alignment_mask;
191 size_t new_size = sum2 + (obj_size >> 3) + 100;
192 if (new_size < sum2)
193 new_size = sum2;
194 if (new_size < h->chunk_size)
195 new_size = h->chunk_size;
196
197 /* Allocate and initialize the new chunk. */
198 if (obj_size <= sum1 && sum1 <= sum2)
199 new_chunk = call_chunkfun (h, new_size);
200 if (!new_chunk)
201 (*obstack_alloc_failed_handler)();
202 h->chunk = new_chunk;
203 new_chunk->prev = old_chunk;
204 new_chunk->limit = h->chunk_limit = (char *) new_chunk + new_size;
205
206 /* Compute an aligned object_base in the new chunk */
207 object_base =
208 __PTR_ALIGN ((char *) new_chunk, new_chunk->contents, h->alignment_mask);
209
210 /* Move the existing object to the new chunk. */
211 memcpy (object_base, h->object_base, obj_size);
212
213 /* If the object just copied was the only data in OLD_CHUNK,
214 free that chunk and remove it from the chain.
215 But not if that chunk might contain an empty object. */
216 if (!h->maybe_empty_object
217 && (h->object_base
218 == __PTR_ALIGN ((char *) old_chunk, old_chunk->contents,
219 h->alignment_mask)))
220 {
221 new_chunk->prev = old_chunk->prev;
222 call_freefun (h, old_chunk);
223 }
224
225 h->object_base = object_base;
226 h->next_free = h->object_base + obj_size;
227 /* The new chunk certainly contains no empty object yet. */
228 h->maybe_empty_object = 0;
229 }
230
231 /* Return nonzero if object OBJ has been allocated from obstack H.
232 This is here for debugging.
233 If you use it in a program, you are probably losing. */
234
235 /* Suppress -Wmissing-prototypes warning. We don't want to declare this in
236 obstack.h because it is just for debugging. */
237 int _obstack_allocated_p (struct obstack *h, void *obj) __attribute_pure__;
/* */
238
239 int
240 _obstack_allocated_p (struct obstack *h, void *obj)
241 {
242 struct _obstack_chunk *lp; /* below addr of any objects in this chunk */
243 struct _obstack_chunk *plp; /* point to previous chunk if any */
244
245 lp = (h)->chunk;
246 /* We use >= rather than > since the object cannot be exactly at
247 the beginning of the chunk but might be an empty object exactly
248 at the end of an adjacent chunk. */
249 while (lp != 0 && ((void *) lp >= obj || (void *) (lp)->limit < obj))
250 {
251 plp = lp->prev;
252 lp = plp;
253 }
254 return lp != 0;
255 }
256
257 /* Free objects in obstack H, including OBJ and everything allocate
258 more recently than OBJ. If OBJ is zero, free everything in H. */
259
260 void
261 _obstack_free (struct obstack *h, void *obj)
/* */
262 {
263 struct _obstack_chunk *lp; /* below addr of any objects in this chunk */
264 struct _obstack_chunk *plp; /* point to previous chunk if any */
265
266 lp = h->chunk;
267 /* We use >= because there cannot be an object at the beginning of a chunk.
268 But there can be an empty object at that address
269 at the end of another chunk. */
270 while (lp != 0 && ((void *) lp >= obj || (void *) (lp)->limit < obj))
271 {
272 plp = lp->prev;
273 call_freefun (h, lp);
274 lp = plp;
275 /* If we switch chunks, we can't tell whether the new current
276 chunk contains an empty object, so assume that it may. */
277 h->maybe_empty_object = 1;
278 }
279 if (lp)
280 {
281 h->object_base = h->next_free = (char *) (obj);
282 h->chunk_limit = lp->limit;
283 h->chunk = lp;
284 }
285 else if (obj != 0)
286 /* obj is not in any of the chunks! */
287 abort ();
288 }
289
290 _OBSTACK_SIZE_T
291 _obstack_memory_used (struct obstack *h)
/* */
292 {
293 struct _obstack_chunk *lp;
294 _OBSTACK_SIZE_T nbytes = 0;
295
296 for (lp = h->chunk; lp != 0; lp = lp->prev)
297 {
298 nbytes += lp->limit - (char *) lp;
299 }
300 return nbytes;
301 }
302
303 # ifndef _OBSTACK_NO_ERROR_HANDLER
304 /* Define the error handler. */
305 # include <stdio.h>
306
307 /* Exit value used when 'print_and_abort' is used. */
308 # ifdef _LIBC
309 int obstack_exit_failure = EXIT_FAILURE;
310 # else
311 # include "exitfail.h"
312 # define obstack_exit_failure exit_failure
313 # endif
314
315 # ifdef _LIBC
316 # include <libintl.h>
317 # else
318 # include "gettext.h"
319 # endif
320 # ifndef _
321 # define _(msgid) gettext (msgid)
322 # endif
323
324 # ifdef _LIBC
325 # include <libio/iolibio.h>
326 # endif
327
328 static __attribute_noreturn__ void
329 print_and_abort (void)
/* ![[last]](../icons/n_last.png)
*/
330 {
331 /* Don't change any of these strings. Yes, it would be possible to add
332 the newline to the string and use fputs or so. But this must not
333 happen because the "memory exhausted" message appears in other places
334 like this and the translation should be reused instead of creating
335 a very similar string which requires a separate translation. */
336 # ifdef _LIBC
337 (void) __fxprintf (NULL, "%s\n", _("memory exhausted"));
338 # else
339 fprintf (stderr, "%s\n", _("memory exhausted"));
340 # endif
341 exit (obstack_exit_failure);
342 }
343
344 /* The functions allocating more room by calling 'obstack_chunk_alloc'
345 jump to the handler pointed to by 'obstack_alloc_failed_handler'.
346 This can be set to a user defined function which should either
347 abort gracefully or use longjump - but shouldn't return. This
348 variable by default points to the internal function
349 'print_and_abort'. */
350 __attribute_noreturn__ void (*obstack_alloc_failed_handler) (void)
351 = print_and_abort;
352 # endif /* !_OBSTACK_NO_ERROR_HANDLER */
353 #endif /* !_OBSTACK_ELIDE_CODE */
![[bottom]](../icons/n_bottom.png){kind=icon}
*/