view libgcc/gstdint.h @ 151:2eca1fb48fa2

Added tag current for changeset 26042f4007d5
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 23 May 2020 14:59:38 +0900
parents a06113de4d67
children
line wrap: on
line source

/* This header is only for use of libdecnumber built as part of
   libgcc.  The targets supported for decimal floating point have
   <stdint.h>; libdecnumber uses GCC_HEADER_STDINT only for the sake
   of the host.  */

#include <stdint.h>