1/* obstack.c - subroutines used implicitly by object stack macros
2   Copyright (C) 1988-1994, 1996-2001, 2002 Free Software Foundation, Inc.
3   This file is part of the GNU C Library.  Its master source is NOT part of
4   the C library, however.  The master source lives in /gd/gnu/lib.
5
6   The GNU C Library is free software; you can redistribute it and/or
7   modify it under the terms of the GNU Lesser General Public
8   License as published by the Free Software Foundation; either
9   version 2.1 of the License, or (at your option) any later version.
10
11   The GNU C Library is distributed in the hope that it will be useful,
12   but WITHOUT ANY WARRANTY; without even the implied warranty of
13   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14   Lesser General Public License for more details.
15
16   You should have received a copy of the GNU Lesser General Public
17   License along with the GNU C Library; if not, write to the Free
18   Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
19   02111-1307 USA.  */
20
21#ifdef HAVE_CONFIG_H
22# include <config.h>
23#endif
24
25#ifdef _LIBC
26#include <obstack.h>
27#else
28#include "obstack.h"
29#endif
30
31/* NOTE BEFORE MODIFYING THIS FILE: This version number must be
32   incremented whenever callers compiled using an old obstack.h can no
33   longer properly call the functions in this obstack.c.  */
34#define OBSTACK_INTERFACE_VERSION 1
35
36/* Comment out all this code if we are using the GNU C Library, and are not
37   actually compiling the library itself, and the installed library
38   supports the same library interface we do.  This code is part of the GNU
39   C Library, but also included in many other GNU distributions.  Compiling
40   and linking in this code is a waste when using the GNU C library
41   (especially if it is a shared library).  Rather than having every GNU
42   program understand `configure --with-gnu-libc' and omit the object
43   files, it is simpler to just do this in the source for each such file.  */
44
45#include <stdio.h>		/* Random thing to get __GNU_LIBRARY__.  */
46#if !defined _LIBC && defined __GNU_LIBRARY__ && __GNU_LIBRARY__ > 1
47# include <gnu-versions.h>
48# if _GNU_OBSTACK_INTERFACE_VERSION == OBSTACK_INTERFACE_VERSION
49#  define ELIDE_CODE
50# endif
51#endif
52
53#if defined _LIBC && defined USE_IN_LIBIO
54# include <wchar.h>
55#endif
56
57#ifndef ELIDE_CODE
58
59
60# if defined __STDC__ && __STDC__
61#  define POINTER void *
62# else
63#  define POINTER char *
64# endif
65
66/* Determine default alignment.  */
67struct fooalign {char x; double d;};
68# define DEFAULT_ALIGNMENT  \
69  ((PTR_INT_TYPE) ((char *) &((struct fooalign *) 0)->d - (char *) 0))
70/* If malloc were really smart, it would round addresses to DEFAULT_ALIGNMENT.
71   But in fact it might be less smart and round addresses to as much as
72   DEFAULT_ROUNDING.  So we prepare for it to do that.  */
73union fooround {long x; double d;};
74# define DEFAULT_ROUNDING (sizeof (union fooround))
75
76/* When we copy a long block of data, this is the unit to do it with.
77   On some machines, copying successive ints does not work;
78   in such a case, redefine COPYING_UNIT to `long' (if that works)
79   or `char' as a last resort.  */
80# ifndef COPYING_UNIT
81#  define COPYING_UNIT int
82# endif
83
84
85/* The functions allocating more room by calling `obstack_chunk_alloc'
86   jump to the handler pointed to by `obstack_alloc_failed_handler'.
87   This can be set to a user defined function which should either
88   abort gracefully or use longjump - but shouldn't return.  This
89   variable by default points to the internal function
90   `print_and_abort'.  */
91# if defined __STDC__ && __STDC__
92static void print_and_abort (void);
93void (*obstack_alloc_failed_handler) (void) = print_and_abort;
94# else
95static void print_and_abort ();
96void (*obstack_alloc_failed_handler) () = print_and_abort;
97# endif
98
99/* Exit value used when `print_and_abort' is used.  */
100# if defined __GNU_LIBRARY__ || defined HAVE_STDLIB_H
101#  include <stdlib.h>
102# endif
103# ifndef EXIT_FAILURE
104#  define EXIT_FAILURE 1
105# endif
106int obstack_exit_failure = EXIT_FAILURE;
107
108/* The non-GNU-C macros copy the obstack into this global variable
109   to avoid multiple evaluation.  */
110
111struct obstack *_obstack;
112
113/* Define a macro that either calls functions with the traditional malloc/free
114   calling interface, or calls functions with the mmalloc/mfree interface
115   (that adds an extra first argument), based on the state of use_extra_arg.
116   For free, do not use ?:, since some compilers, like the MIPS compilers,
117   do not allow (expr) ? void : void.  */
118
119# if defined __STDC__ && __STDC__
120#  define CALL_CHUNKFUN(h, size) \
121  (((h) -> use_extra_arg) \
122   ? (*(h)->chunkfun) ((h)->extra_arg, (size)) \
123   : (*(struct _obstack_chunk *(*) (long)) (h)->chunkfun) ((size)))
124
125#  define CALL_FREEFUN(h, old_chunk) \
126  do { \
127    if ((h) -> use_extra_arg) \
128      (*(h)->freefun) ((h)->extra_arg, (old_chunk)); \
129    else \
130      (*(void (*) (void *)) (h)->freefun) ((old_chunk)); \
131  } while (0)
132# else
133#  define CALL_CHUNKFUN(h, size) \
134  (((h) -> use_extra_arg) \
135   ? (*(h)->chunkfun) ((h)->extra_arg, (size)) \
136   : (*(struct _obstack_chunk *(*) ()) (h)->chunkfun) ((size)))
137
138#  define CALL_FREEFUN(h, old_chunk) \
139  do { \
140    if ((h) -> use_extra_arg) \
141      (*(h)->freefun) ((h)->extra_arg, (old_chunk)); \
142    else \
143      (*(void (*) ()) (h)->freefun) ((old_chunk)); \
144  } while (0)
145# endif
146
147
148/* Initialize an obstack H for use.  Specify chunk size SIZE (0 means default).
149   Objects start on multiples of ALIGNMENT (0 means use default).
150   CHUNKFUN is the function to use to allocate chunks,
151   and FREEFUN the function to free them.
152
153   Return nonzero if successful, calls obstack_alloc_failed_handler if
154   allocation fails.  */
155
156int
157_obstack_begin (h, size, alignment, chunkfun, freefun)
158     struct obstack *h;
159     int size;
160     int alignment;
161# if defined __STDC__ && __STDC__
162     POINTER (*chunkfun) (long);
163     void (*freefun) (void *);
164# else
165     POINTER (*chunkfun) ();
166     void (*freefun) ();
167# endif
168{
169  register struct _obstack_chunk *chunk; /* points to new chunk */
170
171  if (alignment == 0)
172    alignment = (int) DEFAULT_ALIGNMENT;
173  if (size == 0)
174    /* Default size is what GNU malloc can fit in a 4096-byte block.  */
175    {
176      /* 12 is sizeof (mhead) and 4 is EXTRA from GNU malloc.
177	 Use the values for range checking, because if range checking is off,
178	 the extra bytes won't be missed terribly, but if range checking is on
179	 and we used a larger request, a whole extra 4096 bytes would be
180	 allocated.
181
182	 These number are irrelevant to the new GNU malloc.  I suspect it is
183	 less sensitive to the size of the request.  */
184      int extra = ((((12 + DEFAULT_ROUNDING - 1) & ~(DEFAULT_ROUNDING - 1))
185		    + 4 + DEFAULT_ROUNDING - 1)
186		   & ~(DEFAULT_ROUNDING - 1));
187      size = 4096 - extra;
188    }
189
190# if defined __STDC__ && __STDC__
191  h->chunkfun = (struct _obstack_chunk * (*)(void *, long)) chunkfun;
192  h->freefun = (void (*) (void *, struct _obstack_chunk *)) freefun;
193# else
194  h->chunkfun = (struct _obstack_chunk * (*)()) chunkfun;
195  h->freefun = freefun;
196# endif
197  h->chunk_size = size;
198  h->alignment_mask = alignment - 1;
199  h->use_extra_arg = 0;
200
201  chunk = h->chunk = CALL_CHUNKFUN (h, h -> chunk_size);
202  if (!chunk)
203    (*obstack_alloc_failed_handler) ();
204  h->next_free = h->object_base = chunk->contents;
205  h->chunk_limit = chunk->limit
206    = (char *) chunk + h->chunk_size;
207  chunk->prev = 0;
208  /* The initial chunk now contains no empty object.  */
209  h->maybe_empty_object = 0;
210  h->alloc_failed = 0;
211  return 1;
212}
213
214int
215_obstack_begin_1 (h, size, alignment, chunkfun, freefun, arg)
216     struct obstack *h;
217     int size;
218     int alignment;
219# if defined __STDC__ && __STDC__
220     POINTER (*chunkfun) (POINTER, long);
221     void (*freefun) (POINTER, POINTER);
222# else
223     POINTER (*chunkfun) ();
224     void (*freefun) ();
225# endif
226     POINTER arg;
227{
228  register struct _obstack_chunk *chunk; /* points to new chunk */
229
230  if (alignment == 0)
231    alignment = (int) DEFAULT_ALIGNMENT;
232  if (size == 0)
233    /* Default size is what GNU malloc can fit in a 4096-byte block.  */
234    {
235      /* 12 is sizeof (mhead) and 4 is EXTRA from GNU malloc.
236	 Use the values for range checking, because if range checking is off,
237	 the extra bytes won't be missed terribly, but if range checking is on
238	 and we used a larger request, a whole extra 4096 bytes would be
239	 allocated.
240
241	 These number are irrelevant to the new GNU malloc.  I suspect it is
242	 less sensitive to the size of the request.  */
243      int extra = ((((12 + DEFAULT_ROUNDING - 1) & ~(DEFAULT_ROUNDING - 1))
244		    + 4 + DEFAULT_ROUNDING - 1)
245		   & ~(DEFAULT_ROUNDING - 1));
246      size = 4096 - extra;
247    }
248
249# if defined __STDC__ && __STDC__
250  h->chunkfun = (struct _obstack_chunk * (*)(void *,long)) chunkfun;
251  h->freefun = (void (*) (void *, struct _obstack_chunk *)) freefun;
252# else
253  h->chunkfun = (struct _obstack_chunk * (*)()) chunkfun;
254  h->freefun = freefun;
255# endif
256  h->chunk_size = size;
257  h->alignment_mask = alignment - 1;
258  h->extra_arg = arg;
259  h->use_extra_arg = 1;
260
261  chunk = h->chunk = CALL_CHUNKFUN (h, h -> chunk_size);
262  if (!chunk)
263    (*obstack_alloc_failed_handler) ();
264  h->next_free = h->object_base = chunk->contents;
265  h->chunk_limit = chunk->limit
266    = (char *) chunk + h->chunk_size;
267  chunk->prev = 0;
268  /* The initial chunk now contains no empty object.  */
269  h->maybe_empty_object = 0;
270  h->alloc_failed = 0;
271  return 1;
272}
273
274/* Allocate a new current chunk for the obstack *H
275   on the assumption that LENGTH bytes need to be added
276   to the current object, or a new object of length LENGTH allocated.
277   Copies any partial object from the end of the old chunk
278   to the beginning of the new one.  */
279
280void
281_obstack_newchunk (h, length)
282     struct obstack *h;
283     int length;
284{
285  register struct _obstack_chunk *old_chunk = h->chunk;
286  register struct _obstack_chunk *new_chunk;
287  register long	new_size;
288  register long obj_size = h->next_free - h->object_base;
289  register long i;
290  long already;
291  char *object_base;
292
293  /* Compute size for new chunk.  */
294  new_size = (obj_size + length) + (obj_size >> 3) + h->alignment_mask + 100;
295  if (new_size < h->chunk_size)
296    new_size = h->chunk_size;
297
298  /* Allocate and initialize the new chunk.  */
299  new_chunk = CALL_CHUNKFUN (h, new_size);
300  if (!new_chunk)
301    (*obstack_alloc_failed_handler) ();
302  h->chunk = new_chunk;
303  new_chunk->prev = old_chunk;
304  new_chunk->limit = h->chunk_limit = (char *) new_chunk + new_size;
305
306  /* Compute an aligned object_base in the new chunk */
307  object_base =
308    __INT_TO_PTR ((__PTR_TO_INT (new_chunk->contents) + h->alignment_mask)
309		  & ~ (h->alignment_mask));
310
311  /* Move the existing object to the new chunk.
312     Word at a time is fast and is safe if the object
313     is sufficiently aligned.  */
314  if (h->alignment_mask + 1 >= DEFAULT_ALIGNMENT)
315    {
316      for (i = obj_size / sizeof (COPYING_UNIT) - 1;
317	   i >= 0; i--)
318	((COPYING_UNIT *)object_base)[i]
319	  = ((COPYING_UNIT *)h->object_base)[i];
320      /* We used to copy the odd few remaining bytes as one extra COPYING_UNIT,
321	 but that can cross a page boundary on a machine
322	 which does not do strict alignment for COPYING_UNITS.  */
323      already = obj_size / sizeof (COPYING_UNIT) * sizeof (COPYING_UNIT);
324    }
325  else
326    already = 0;
327  /* Copy remaining bytes one by one.  */
328  for (i = already; i < obj_size; i++)
329    object_base[i] = h->object_base[i];
330
331  /* If the object just copied was the only data in OLD_CHUNK,
332     free that chunk and remove it from the chain.
333     But not if that chunk might contain an empty object.  */
334  if (h->object_base == old_chunk->contents && ! h->maybe_empty_object)
335    {
336      new_chunk->prev = old_chunk->prev;
337      CALL_FREEFUN (h, old_chunk);
338    }
339
340  h->object_base = object_base;
341  h->next_free = h->object_base + obj_size;
342  /* The new chunk certainly contains no empty object yet.  */
343  h->maybe_empty_object = 0;
344}
345#ifdef _LIBC
346libc_hidden_def (_obstack_newchunk)
347#endif
348
349/* Return nonzero if object OBJ has been allocated from obstack H.
350   This is here for debugging.
351   If you use it in a program, you are probably losing.  */
352
353# if defined __STDC__ && __STDC__
354/* Suppress -Wmissing-prototypes warning.  We don't want to declare this in
355   obstack.h because it is just for debugging.  */
356int _obstack_allocated_p (struct obstack *h, POINTER obj);
357# endif
358
359int
360_obstack_allocated_p (h, obj)
361     struct obstack *h;
362     POINTER obj;
363{
364  register struct _obstack_chunk *lp;	/* below addr of any objects in this chunk */
365  register struct _obstack_chunk *plp;	/* point to previous chunk if any */
366
367  lp = (h)->chunk;
368  /* We use >= rather than > since the object cannot be exactly at
369     the beginning of the chunk but might be an empty object exactly
370     at the end of an adjacent chunk.  */
371  while (lp != 0 && ((POINTER) lp >= obj || (POINTER) (lp)->limit < obj))
372    {
373      plp = lp->prev;
374      lp = plp;
375    }
376  return lp != 0;
377}
378
379/* Free objects in obstack H, including OBJ and everything allocate
380   more recently than OBJ.  If OBJ is zero, free everything in H.  */
381
382# undef obstack_free
383
384/* This function has two names with identical definitions.
385   This is the first one, called from non-ANSI code.  */
386
387void
388_obstack_free (h, obj)
389     struct obstack *h;
390     POINTER obj;
391{
392  register struct _obstack_chunk *lp;	/* below addr of any objects in this chunk */
393  register struct _obstack_chunk *plp;	/* point to previous chunk if any */
394
395  lp = h->chunk;
396  /* We use >= because there cannot be an object at the beginning of a chunk.
397     But there can be an empty object at that address
398     at the end of another chunk.  */
399  while (lp != 0 && ((POINTER) lp >= obj || (POINTER) (lp)->limit < obj))
400    {
401      plp = lp->prev;
402      CALL_FREEFUN (h, lp);
403      lp = plp;
404      /* If we switch chunks, we can't tell whether the new current
405	 chunk contains an empty object, so assume that it may.  */
406      h->maybe_empty_object = 1;
407    }
408  if (lp)
409    {
410      h->object_base = h->next_free = (char *) (obj);
411      h->chunk_limit = lp->limit;
412      h->chunk = lp;
413    }
414  else if (obj != 0)
415    /* obj is not in any of the chunks! */
416    abort ();
417}
418
419/* This function is used from ANSI code.  */
420
421#ifdef _LIBC
422strong_alias (_obstack_free, obstack_free)
423#else
424
425void
426obstack_free (h, obj)
427     struct obstack *h;
428     POINTER obj;
429{
430  register struct _obstack_chunk *lp;	/* below addr of any objects in this chunk */
431  register struct _obstack_chunk *plp;	/* point to previous chunk if any */
432
433  lp = h->chunk;
434  /* We use >= because there cannot be an object at the beginning of a chunk.
435     But there can be an empty object at that address
436     at the end of another chunk.  */
437  while (lp != 0 && ((POINTER) lp >= obj || (POINTER) (lp)->limit < obj))
438    {
439      plp = lp->prev;
440      CALL_FREEFUN (h, lp);
441      lp = plp;
442      /* If we switch chunks, we can't tell whether the new current
443	 chunk contains an empty object, so assume that it may.  */
444      h->maybe_empty_object = 1;
445    }
446  if (lp)
447    {
448      h->object_base = h->next_free = (char *) (obj);
449      h->chunk_limit = lp->limit;
450      h->chunk = lp;
451    }
452  else if (obj != 0)
453    /* obj is not in any of the chunks! */
454    abort ();
455}
456#endif
457
458int
459_obstack_memory_used (h)
460     struct obstack *h;
461{
462  register struct _obstack_chunk* lp;
463  register int nbytes = 0;
464
465  for (lp = h->chunk; lp != 0; lp = lp->prev)
466    {
467      nbytes += lp->limit - (char *) lp;
468    }
469  return nbytes;
470}
471
472/* Define the error handler.  */
473# ifndef _
474#  if (HAVE_LIBINTL_H && ENABLE_NLS) /*|| defined _LIBC*/
475#   include <libintl.h>
476#   ifndef _
477#    define _(Str) gettext (Str)
478#   endif
479#  else
480#   define _(Str) (Str)
481#  endif
482# endif
483# ifdef _LIBC
484#  include <libio/iolibio.h>
485# endif
486
487# ifndef __attribute__
488/* This feature is available in gcc versions 2.5 and later.  */
489#  if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 5)
490#   define __attribute__(Spec) /* empty */
491#  endif
492# endif
493
494static void
495__attribute__ ((noreturn))
496print_and_abort ()
497{
498  /* Don't change any of these strings.  Yes, it would be possible to add
499     the newline to the string and use fputs or so.  But this must not
500     happen because the "memory exhausted" message appears in other places
501     like this and the translation should be reused instead of creating
502     a very similar string which requires a separate translation.  */
503# if defined _LIBC && defined USE_IN_LIBIO
504  if (_IO_fwide (stderr, 0) > 0)
505    __fwprintf (stderr, L"%s\n", _("memory exhausted"));
506  else
507# endif
508    fprintf (stderr, "%s\n", _("memory exhausted"));
509  exit (obstack_exit_failure);
510}
511
512# if 0
513/* These are now turned off because the applications do not use it
514   and it uses bcopy via obstack_grow, which causes trouble on sysV.  */
515
516/* Now define the functional versions of the obstack macros.
517   Define them to simply use the corresponding macros to do the job.  */
518
519#  if defined __STDC__ && __STDC__
520/* These function definitions do not work with non-ANSI preprocessors;
521   they won't pass through the macro names in parentheses.  */
522
523/* The function names appear in parentheses in order to prevent
524   the macro-definitions of the names from being expanded there.  */
525
526POINTER (obstack_base) (obstack)
527     struct obstack *obstack;
528{
529  return obstack_base (obstack);
530}
531
532POINTER (obstack_next_free) (obstack)
533     struct obstack *obstack;
534{
535  return obstack_next_free (obstack);
536}
537
538int (obstack_object_size) (obstack)
539     struct obstack *obstack;
540{
541  return obstack_object_size (obstack);
542}
543
544int (obstack_room) (obstack)
545     struct obstack *obstack;
546{
547  return obstack_room (obstack);
548}
549
550int (obstack_make_room) (obstack, length)
551     struct obstack *obstack;
552     int length;
553{
554  return obstack_make_room (obstack, length);
555}
556
557void (obstack_grow) (obstack, data, length)
558     struct obstack *obstack;
559     const POINTER data;
560     int length;
561{
562  obstack_grow (obstack, data, length);
563}
564
565void (obstack_grow0) (obstack, data, length)
566     struct obstack *obstack;
567     const POINTER data;
568     int length;
569{
570  obstack_grow0 (obstack, data, length);
571}
572
573void (obstack_1grow) (obstack, character)
574     struct obstack *obstack;
575     int character;
576{
577  obstack_1grow (obstack, character);
578}
579
580void (obstack_blank) (obstack, length)
581     struct obstack *obstack;
582     int length;
583{
584  obstack_blank (obstack, length);
585}
586
587void (obstack_1grow_fast) (obstack, character)
588     struct obstack *obstack;
589     int character;
590{
591  obstack_1grow_fast (obstack, character);
592}
593
594void (obstack_blank_fast) (obstack, length)
595     struct obstack *obstack;
596     int length;
597{
598  obstack_blank_fast (obstack, length);
599}
600
601POINTER (obstack_finish) (obstack)
602     struct obstack *obstack;
603{
604  return obstack_finish (obstack);
605}
606
607POINTER (obstack_alloc) (obstack, length)
608     struct obstack *obstack;
609     int length;
610{
611  return obstack_alloc (obstack, length);
612}
613
614POINTER (obstack_copy) (obstack, address, length)
615     struct obstack *obstack;
616     const POINTER address;
617     int length;
618{
619  return obstack_copy (obstack, address, length);
620}
621
622POINTER (obstack_copy0) (obstack, address, length)
623     struct obstack *obstack;
624     const POINTER address;
625     int length;
626{
627  return obstack_copy0 (obstack, address, length);
628}
629
630#  endif /* __STDC__ */
631
632# endif /* 0 */
633
634#endif	/* !ELIDE_CODE */
635