mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 20:33:03 +00:00
C++11 introduces "nullptr" which plays the role of C's NULL, in
replacement of "0". Fix the C++ skeletons to avoid warnings about
uses of "0" in place of "nullptr", and improve C skeletons to also use
this "nullptr" when compiled with a C++11 compiler.
* configure.ac: More C++ warnings.
* NEWS (2.5.1): Document this.
* data/c++.m4, data/c.m4 (b4_null_define): New.
(b4_null): Use YY_NULL instead of 0.
* data/glr.c, data/lalr1.cc, data/location.cc, data/yacc.c:
Call b4_null_define/b4_null where appropriate.
Use YY_NULL instead of NULL.
* data/location.cc (initialize): Accept a default argument,
YY_NULL.
* tests/actions.at, tests/calc.at: Adjust.
* data/glr.c, lib/libiberty.h, src/system.h (__attribute__):
Do not disable it when __STRICT_ANSI__ is defined, as, for
instance, it disables the __attribute__((unused)) which
protects us from some compiler warnings.
This was already done elsewhere in Bison, in 2001, see
4a0d893695.
* tests/regression.at: Adjust output.
239 lines
6.3 KiB
C
239 lines
6.3 KiB
C
/* System-dependent definitions for Bison.
|
|
|
|
Copyright (C) 2000-2007, 2009-2012 Free Software Foundation, Inc.
|
|
|
|
This program is free software: you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef BISON_SYSTEM_H
|
|
# define BISON_SYSTEM_H
|
|
|
|
/* flex 2.5.31 gratutiously defines macros like INT8_MIN. But this
|
|
runs afoul of pre-C99 compilers that have <inttypes.h> or
|
|
<stdint.h>, which are included below if available. It also runs
|
|
afoul of pre-C99 compilers that define these macros in <limits.h>. */
|
|
# if ! defined __STDC_VERSION__ || __STDC_VERSION__ < 199901
|
|
# undef INT8_MIN
|
|
# undef INT16_MIN
|
|
# undef INT32_MIN
|
|
# undef INT8_MAX
|
|
# undef INT16_MAX
|
|
# undef UINT8_MAX
|
|
# undef INT32_MAX
|
|
# undef UINT16_MAX
|
|
# undef UINT32_MAX
|
|
# endif
|
|
|
|
# include <limits.h>
|
|
# include <stddef.h>
|
|
# include <stdlib.h>
|
|
# include <string.h>
|
|
|
|
# if HAVE_SYS_TYPES_H
|
|
# include <sys/types.h>
|
|
# endif
|
|
|
|
# include <unistd.h>
|
|
# include <inttypes.h>
|
|
|
|
# ifndef UINTPTR_MAX
|
|
/* This isn't perfect, but it's good enough for Bison, which needs
|
|
only to hash pointers. */
|
|
typedef size_t uintptr_t;
|
|
# endif
|
|
|
|
// Version mismatch.
|
|
# define EX_MISMATCH 63
|
|
|
|
/*---------.
|
|
| Gnulib. |
|
|
`---------*/
|
|
|
|
# include <unlocked-io.h>
|
|
# include <verify.h>
|
|
# include <xalloc.h>
|
|
|
|
|
|
/*-----------------.
|
|
| GCC extensions. |
|
|
`-----------------*/
|
|
|
|
/* Use PACIFY_CC to indicate that Code is unimportant to the logic of Bison
|
|
but that it is necessary for suppressing compiler warnings. For example,
|
|
Code might be a variable initializer that's always overwritten before the
|
|
variable is used.
|
|
|
|
PACIFY_CC is intended to be useful only as a comment as it does not alter
|
|
Code. It is tempting to redefine PACIFY_CC so that it will suppress Code
|
|
when configuring without --enable-gcc-warnings. However, that would mean
|
|
that, for maintainers, Bison would compile with potentially less warnings
|
|
and safer logic than it would for users. Due to the overhead of M4,
|
|
suppressing Code is unlikely to offer any significant improvement in
|
|
Bison's performance anyway. */
|
|
# define PACIFY_CC(Code) Code
|
|
|
|
# ifndef __attribute__
|
|
/* This feature is available in gcc versions 2.5 and later. */
|
|
# if (! defined __GNUC__ || __GNUC__ < 2 \
|
|
|| (__GNUC__ == 2 && __GNUC_MINOR__ < 5))
|
|
# define __attribute__(Spec) /* empty */
|
|
# endif
|
|
# endif
|
|
|
|
/* The __-protected variants of `format' and `printf' attributes
|
|
are accepted by gcc versions 2.6.4 (effectively 2.7) and later. */
|
|
# if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 7)
|
|
# define __format__ format
|
|
# define __printf__ printf
|
|
# endif
|
|
|
|
# ifndef ATTRIBUTE_NORETURN
|
|
# define ATTRIBUTE_NORETURN __attribute__ ((__noreturn__))
|
|
# endif
|
|
|
|
# ifndef ATTRIBUTE_UNUSED
|
|
# define ATTRIBUTE_UNUSED __attribute__ ((__unused__))
|
|
# endif
|
|
|
|
# define FUNCTION_PRINT() fprintf (stderr, "%s: ", __func__)
|
|
|
|
/*------.
|
|
| NLS. |
|
|
`------*/
|
|
|
|
# include <locale.h>
|
|
|
|
# include <gettext.h>
|
|
# define _(Msgid) gettext (Msgid)
|
|
# define N_(Msgid) (Msgid)
|
|
|
|
|
|
/*-----------.
|
|
| Booleans. |
|
|
`-----------*/
|
|
|
|
# include <stdbool.h>
|
|
|
|
|
|
|
|
/*-------------.
|
|
| Assertions. |
|
|
`-------------*/
|
|
|
|
/* In the past, Bison defined aver to simply invoke abort in the case of
|
|
a failed assertion. The rationale was that <assert.h>'s assertions
|
|
were too heavyweight and could be disabled too easily. See
|
|
discussions at
|
|
<http://lists.gnu.org/archive/html/bison-patches/2006-01/msg00080.html>
|
|
<http://lists.gnu.org/archive/html/bison-patches/2006-09/msg00111.html>.
|
|
|
|
However, normal assert output can be helpful during development and
|
|
in bug reports from users. Moreover, it's not clear now that
|
|
<assert.h>'s assertions are significantly heavyweight. Finally, if
|
|
users want to experiment with disabling assertions, it's debatable
|
|
whether it's our responsibility to stop them. See discussion
|
|
starting at
|
|
<http://lists.gnu.org/archive/html/bison-patches/2009-09/msg00013.html>.
|
|
|
|
For now, we use assert but we call it aver throughout Bison in case
|
|
we later wish to try another scheme.
|
|
*/
|
|
# include <assert.h>
|
|
# define aver assert
|
|
|
|
|
|
/*-----------.
|
|
| Obstacks. |
|
|
`-----------*/
|
|
|
|
# define obstack_chunk_alloc xmalloc
|
|
# define obstack_chunk_free free
|
|
# include <obstack.h>
|
|
|
|
# define obstack_sgrow(Obs, Str) \
|
|
obstack_grow (Obs, Str, strlen (Str))
|
|
|
|
# define obstack_fgrow1(Obs, Format, Arg1) \
|
|
do { \
|
|
char buf[4096]; \
|
|
sprintf (buf, Format, Arg1); \
|
|
obstack_grow (Obs, buf, strlen (buf)); \
|
|
} while (0)
|
|
|
|
# define obstack_fgrow2(Obs, Format, Arg1, Arg2) \
|
|
do { \
|
|
char buf[4096]; \
|
|
sprintf (buf, Format, Arg1, Arg2); \
|
|
obstack_grow (Obs, buf, strlen (buf)); \
|
|
} while (0)
|
|
|
|
# define obstack_fgrow3(Obs, Format, Arg1, Arg2, Arg3) \
|
|
do { \
|
|
char buf[4096]; \
|
|
sprintf (buf, Format, Arg1, Arg2, Arg3); \
|
|
obstack_grow (Obs, buf, strlen (buf)); \
|
|
} while (0)
|
|
|
|
# define obstack_fgrow4(Obs, Format, Arg1, Arg2, Arg3, Arg4) \
|
|
do { \
|
|
char buf[4096]; \
|
|
sprintf (buf, Format, Arg1, Arg2, Arg3, Arg4); \
|
|
obstack_grow (Obs, buf, strlen (buf)); \
|
|
} while (0)
|
|
|
|
|
|
|
|
/*-----------------------------------------.
|
|
| Extensions to use for the output files. |
|
|
`-----------------------------------------*/
|
|
|
|
# ifndef OUTPUT_EXT
|
|
# define OUTPUT_EXT ".output"
|
|
# endif
|
|
|
|
# ifndef TAB_EXT
|
|
# define TAB_EXT ".tab"
|
|
# endif
|
|
|
|
# ifndef DEFAULT_TMPDIR
|
|
# define DEFAULT_TMPDIR "/tmp"
|
|
# endif
|
|
|
|
|
|
|
|
/*---------------------.
|
|
| Free a linked list. |
|
|
`---------------------*/
|
|
|
|
# define LIST_FREE(Type, List) \
|
|
do { \
|
|
Type *_node, *_next; \
|
|
for (_node = List; _node; _node = _next) \
|
|
{ \
|
|
_next = _node->next; \
|
|
free (_node); \
|
|
} \
|
|
} while (0)
|
|
|
|
|
|
/*---------------------------------------------.
|
|
| Debugging memory allocation (must be last). |
|
|
`---------------------------------------------*/
|
|
|
|
# if WITH_DMALLOC
|
|
# define DMALLOC_FUNC_CHECK
|
|
# include <dmalloc.h>
|
|
# endif /* WITH_DMALLOC */
|
|
|
|
#endif /* ! BISON_SYSTEM_H */
|