src/system.h

   1 /* System-dependent definitions for Bison.
   2
   3    Copyright (C) 2000-2007, 2009-2013 Free Software Foundation, Inc.
   4
   5    This program is free software: you can redistribute it and/or modify
   6    it under the terms of the GNU General Public License as published by
   7    the Free Software Foundation, either version 3 of the License, or
   8    (at your option) any later version.
   9
  10    This program 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 General Public License for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  17
  18 #ifndef BISON_SYSTEM_H
  19 # define BISON_SYSTEM_H
  20
  21 /* flex 2.5.31 gratutiously defines macros like INT8_MIN.  But this
  22    runs afoul of pre-C99 compilers that have <inttypes.h> or
  23    <stdint.h>, which are included below if available.  It also runs
  24    afoul of pre-C99 compilers that define these macros in <limits.h>.  */
  25 # if ! defined __STDC_VERSION__ || __STDC_VERSION__ < 199901
  26 #  undef INT8_MIN
  27 #  undef INT16_MIN
  28 #  undef INT32_MIN
  29 #  undef INT8_MAX
  30 #  undef INT16_MAX
  31 #  undef UINT8_MAX
  32 #  undef INT32_MAX
  33 #  undef UINT16_MAX
  34 #  undef UINT32_MAX
  35 # endif
  36
  37 # include <limits.h>
  38 # include <stddef.h>
  39 # include <stdlib.h>
  40 # include <string.h>
  41 # include <unistd.h>
  42 # include <inttypes.h>
  43
  44 #define ARRAY_CARDINALITY(Array) (sizeof (Array) / sizeof *(Array))
  45 #define STREQ(L, R)  (strcmp(L, R) == 0)
  46 #define STRNEQ(L, R) (!STREQ(L, R))
  47
  48 # ifndef UINTPTR_MAX
  49 /* This isn't perfect, but it's good enough for Bison, which needs
  50    only to hash pointers.  */
  51 typedef size_t uintptr_t;
  52 # endif
  53
  54 /* Version mismatch. */
  55 # define EX_MISMATCH 63
  56
  57 /*---------.
  58 | Gnulib.  |
  59 `---------*/
  60
  61 # include <unlocked-io.h>
  62 # include <verify.h>
  63 # include <xalloc.h>
  64
  65
  66 /*-----------------.
  67 | GCC extensions.  |
  68 `-----------------*/
  69
  70 /* Use PACIFY_CC to indicate that Code is unimportant to the logic of Bison
  71    but that it is necessary for suppressing compiler warnings.  For example,
  72    Code might be a variable initializer that's always overwritten before the
  73    variable is used.
  74
  75    PACIFY_CC is intended to be useful only as a comment as it does not alter
  76    Code.  It is tempting to redefine PACIFY_CC so that it will suppress Code
  77    when configuring without --enable-gcc-warnings.  However, that would mean
  78    that, for maintainers, Bison would compile with potentially less warnings
  79    and safer logic than it would for users.  Due to the overhead of M4,
  80    suppressing Code is unlikely to offer any significant improvement in
  81    Bison's performance anyway.  */
  82 # define PACIFY_CC(Code) Code
  83
  84 # ifndef __attribute__
  85 /* This feature is available in gcc versions 2.5 and later.  */
  86 #  if (! defined __GNUC__ || __GNUC__ < 2 \
  87        || (__GNUC__ == 2 && __GNUC_MINOR__ < 5))
  88 #   define __attribute__(Spec) /* empty */
  89 #  endif
  90 # endif
  91
  92 /* The __-protected variants of `format' and `printf' attributes
  93    are accepted by gcc versions 2.6.4 (effectively 2.7) and later.  */
  94 # if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 7)
  95 #  define __format__ format
  96 #  define __printf__ printf
  97 # endif
  98
  99 # ifndef ATTRIBUTE_NORETURN
 100 #  define ATTRIBUTE_NORETURN __attribute__ ((__noreturn__))
 101 # endif
 102
 103 # ifndef ATTRIBUTE_UNUSED
 104 #  define ATTRIBUTE_UNUSED __attribute__ ((__unused__))
 105 # endif
 106
 107
 108 /*------.
 109 | NLS.  |
 110 `------*/
 111
 112 # include <locale.h>
 113
 114 # include <gettext.h>
 115 # define _(Msgid)  gettext (Msgid)
 116 # define N_(Msgid) (Msgid)
 117
 118
 119 /*-----------.
 120 | Booleans.  |
 121 `-----------*/
 122
 123 # include <stdbool.h>
 124
 125
 126
 127 /*-------------.
 128 | Assertions.  |
 129 `-------------*/
 130
 131 /* In the past, Bison defined aver to simply invoke abort in the case of
 132    a failed assertion.  The rationale was that <assert.h>'s assertions
 133    were too heavyweight and could be disabled too easily.  See
 134    discussions at
 135    <http://lists.gnu.org/archive/html/bison-patches/2006-01/msg00080.html>
 136    <http://lists.gnu.org/archive/html/bison-patches/2006-09/msg00111.html>.
 137
 138    However, normal assert output can be helpful during development and
 139    in bug reports from users.  Moreover, it's not clear now that
 140    <assert.h>'s assertions are significantly heavyweight.  Finally, if
 141    users want to experiment with disabling assertions, it's debatable
 142    whether it's our responsibility to stop them.  See discussion
 143    starting at
 144    <http://lists.gnu.org/archive/html/bison-patches/2009-09/msg00013.html>.
 145
 146    For now, we use assert but we call it aver throughout Bison in case
 147    we later wish to try another scheme.
 148 */
 149 # include <assert.h>
 150 # define aver assert
 151
 152
 153 /*-----------.
 154 | Obstacks.  |
 155 `-----------*/
 156
 157 # define obstack_chunk_alloc xmalloc
 158 # define obstack_chunk_free  free
 159 # include <obstack.h>
 160
 161 # define obstack_sgrow(Obs, Str)                \
 162   obstack_grow (Obs, Str, strlen (Str))
 163
 164 /* Output Str escaped for our postprocessing (i.e., escape M4 special
 165    characters).
 166
 167    For instance "[foo]" -> "@{foo@}", "$$" -> "$][$][". */
 168
 169 # define obstack_escape(Obs, Str)                       \
 170   do {                                                  \
 171     char const *p;                                      \
 172     for (p = Str; *p; p++)                              \
 173       switch (*p)                                       \
 174         {                                               \
 175         case '$': obstack_sgrow (Obs, "$]["); break;    \
 176         case '@': obstack_sgrow (Obs, "@@" ); break;    \
 177         case '[': obstack_sgrow (Obs, "@{" ); break;    \
 178         case ']': obstack_sgrow (Obs, "@}" ); break;    \
 179         default:  obstack_1grow (Obs, *p   ); break;    \
 180         }                                               \
 181   } while (0)
 182
 183
 184 /* Output Str both quoted for M4 (i.e., embed in [[...]]), and escaped
 185    for our postprocessing (i.e., escape M4 special characters).  If
 186    Str is empty (or NULL), output "[]" instead of "[[]]" as it make M4
 187    programming easier (m4_ifval can be used).
 188
 189    For instance "[foo]" -> "[[@{foo@}]]", "$$" -> "[[$][$][]]". */
 190
 191 # define obstack_quote(Obs, Str)                \
 192   do {                                          \
 193     char const* obstack_quote_p = Str;          \
 194     if (obstack_quote_p && obstack_quote_p[0])  \
 195       {                                         \
 196         obstack_sgrow (Obs, "[[");              \
 197         obstack_escape (Obs, obstack_quote_p);  \
 198         obstack_sgrow (Obs, "]]");              \
 199       }                                         \
 200     else                                        \
 201       obstack_sgrow (Obs, "[]");                \
 202   } while (0)
 203
 204
 205 /* Append the ending 0, finish Obs, and return the string.  */
 206
 207 # define obstack_finish0(Obs)                           \
 208   (obstack_1grow (Obs, '\0'), (char *) obstack_finish (Obs))
 209
 210
 211 /*-----------------------------------------.
 212 | Extensions to use for the output files.  |
 213 `-----------------------------------------*/
 214
 215 # ifndef OUTPUT_EXT
 216 #  define OUTPUT_EXT ".output"
 217 # endif
 218
 219 # ifndef TAB_EXT
 220 #  define TAB_EXT ".tab"
 221 # endif
 222
 223
 224
 225 /*---------------------.
 226 | Free a linked list.  |
 227 `---------------------*/
 228
 229 # define LIST_FREE(Type, List)                  \
 230   do {                                          \
 231     Type *_node, *_next;                        \
 232     for (_node = List; _node; _node = _next)    \
 233       {                                         \
 234         _next = _node->next;                    \
 235         free (_node);                           \
 236       }                                         \
 237   } while (0)
 238
 239
 240 /*---------------------------------------------.
 241 | Debugging memory allocation (must be last).  |
 242 `---------------------------------------------*/
 243
 244 # if WITH_DMALLOC
 245 #  define DMALLOC_FUNC_CHECK
 246 #  include <dmalloc.h>
 247 # endif /* WITH_DMALLOC */
 248
 249 #endif  /* ! BISON_SYSTEM_H */