Software Foundation, 59 Temple Place - Suite 330, Boston, MA
02111-1307, USA. */
+/* As a special exception, if you link this library with other files,
+ some of which are compiled with GCC, to produce an executable,
+ this library does not by itself cause the resulting executable
+ to be covered by the GNU General Public License.
+ This exception does not however invalidate any other reasons why
+ the executable file might be covered by the GNU General Public License. */
+
#ifndef GCC_TSYSTEM_H
#define GCC_TSYSTEM_H
#define HAVE_DECL_GETOPT 1
#endif
-/* GCC supplies this header. */
+/* GCC supplies these headers. */
#include <stddef.h>
+#include <float.h>
#ifdef inhibit_libc
extern int atexit (void (*)(void));
#endif
+#ifndef abort
+extern void abort (void) __attribute__ ((__noreturn__));
+#endif
+
+#ifndef strlen
+extern size_t strlen (const char *);
+#endif
+
#else /* ! inhibit_libc */
/* We disable this when inhibit_libc, so that gcc can still be built without
needing header files first. */
/* ??? This is not a good solution, since prototypes may be required in
some cases for correct code. */
-/* GCC supplies this header. */
+/* GCC supplies this header. */
#include <stdarg.h>
-/* All systems have this header. */
+/* All systems have this header. */
#include <stdio.h>
-/* All systems have this header. */
+/* All systems have this header. */
#include <sys/types.h>
-/* All systems have this header. */
+/* All systems have this header. */
#include <errno.h>
#ifndef errno
extern int errno;
#endif
-#ifdef POSIX
+/* GCC (fixproto) guarantees these system headers exist. */
#include <string.h>
-#endif
-
-/* GCC (fixproto) guarantees these system headers exist. */
#include <stdlib.h>
#include <unistd.h>
-/* GCC supplies this header. */
+/* GCC supplies this header. */
#include <limits.h>
-#ifdef POSIX
+/* GCC (fixproto) guarantees this system headers exists. */
#include <time.h>
-#endif
#endif /* inhibit_libc */