gdb/gstdint.h

   1 /* Copyright (C) 2008 Free Software Foundation, Inc.
   2
   3    This file is part of GDB.
   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 /* The libdecnumber library, on which GDB depends, includes a header file
  19    called gstdint.h instead of relying directly on stdint.h.  GDB, on the
  20    other hand, includes stdint.h directly, relying on the fact that gnulib
  21    generates a copy if the system doesn't provide one or if it is missing
  22    some features.  Unfortunately, gstdint.h and stdint.h cannot be included
  23    at the same time, which may happen when we include a file from
  24    libdecnumber.
  25
  26    The purpose of this file is to override the libdecnumber/gstdint.h file
  27    to use stdint.h instead.  Thanks to the order of our include path,
  28    files from the GDB source tree have precedence over files from our
  29    dependencies.  So the presence of this file will ensure that we
  30    consistently use the same stdint.h file when compiling GDB source
  31    files.  */
  32
  33 #include <stdint.h>