Fixed problem with assertion checking for negative shifts in

[splint.git] / config.hin

diff --git a/config.hin b/config.hin
index ae5ab5a7f2f775bb83dc3831d00cedbaba5499b1..bf0caac5341eac8764803ca15ba70800b69a2ecf 100644 (file)
--- a/config.hin
+++ b/config.hin
@@ -1,6 +1,21 @@
-/* config.hin.  Generated automatically from configure.ac by autoheader.  */
+/* config.hin.  Generated from configure.ac by autoheader.  */
 
-/*@-constmacros@*/
+/*@ -constmacros@*/
+
+/* build */
+#undef BUILD
+
+/* build_alias */
+#undef BUILD_ALIAS
+
+/* build_cpu */
+#undef BUILD_CPU
+
+/* build_os */
+#undef BUILD_OS
+
+/* build_vendor */
+#undef BUILD_VENDOR
 
 /* The directory where Splint's library files live */
 #undef DEFAULT_LARCHPATH
@@ -8,32 +23,83 @@
 /* Splint's imports directory */
 #undef DEFAULT_LCLIMPORTDIR
 
-/* gcc's private include directory */
+/* system include directory */
 #undef GCC_INCLUDE_DIR
 
-/* the system's main include directory */
+/* alternate include directory */
 #undef GCC_INCLUDE_DIR2
 
+/* host */
+#undef HOST
+
+/* host_alias */
+#undef HOST_ALIAS
+
+/* host_cpu */
+#undef HOST_CPU
+
+/* host_os */
+#undef HOST_OS
+
+/* host_vendor */
+#undef HOST_VENDOR
+
 /* String describing who compiled this binary and how */
 #undef LCL_COMPILE
 
 /* Splint's version number */
 #undef LCL_PARSE_VERSION
 
-/* Splint's version number and release date */
-#undef LCL_VERSION
-
 /* Define to disable support LCL files */
 #undef NOLCL
 
+/* Define to the address where bug reports for this package should be sent. */
+#undef PACKAGE_BUGREPORT
+
+/* Define to the full name of this package. */
+#undef PACKAGE_NAME
+
+/* Define to the full name and version of this package. */
+#undef PACKAGE_STRING
+
+/* Define to the one symbol short name of this package. */
+#undef PACKAGE_TARNAME
+
+/* Define to the version of this package. */
+#undef PACKAGE_VERSION
+
+/* Splint's version number and configure/build date */
+#undef SPLINT_VERSION
+
 /* The system's main include directory */
 #undef SYSTEM_LIBDIR
 
+/* target */
+#undef TARGET
+
+/* target_alias */
+#undef TARGET_ALIAS
+
+/* target_cpu */
+#undef TARGET_CPU
+
+/* target_os */
+#undef TARGET_OS
+
+/* target_vendor */
+#undef TARGET_VENDOR
+
+/* uname output */
+#undef UNAME
+
 /* Define if you're on a Unixy system */
 #undef UNIX
 
-/* Define if `lex' declares `yytext' as a `char *' by default, not a `char[]'.
-   */
+/* Define to 1 if `lex' declares `yytext' as a `char *' by default, not a
+   `char[]'. */
 #undef YYTEXT_POINTER
 
-/*@=constmacros@*/
+/* needed to expose mode_t on some machines */
+#undef _ALL_SOURCE
+
+/*@ =constmacros@*/