Fixed problem with NULL being changed.

[splint.git] / src / Headers / basic.h

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 8cc45a453d070fa8692fa9e9ce4a6eadf28be789..7f843ad227c1d3cfa79dda8f8db0fe3344f2169b 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -9,9 +9,13 @@
 
 # ifdef HAVE_CONFIG_H
 # ifdef WIN32
-
+/* BCC32 Contributed by Scott Frazer */
+# ifdef BCC32
+# include "../../bcc32/bcc32_config.h"
+# else
 /* Win32 uses its own hand-generated config file */
 # include "../../winconfig.h"
+# endif 
 # else 
 # include "../../config.h"
 # endif
@@ -21,6 +25,16 @@
 
 # include <stdlib.h>
 # include <stdio.h>
+
+# if !defined (WIN32) &&  !(defined (OS2) && defined (__IBMC__))
+/* Microsoft VC++ still doesn't support ISO C99... */
+# include <stdbool.h>
+# endif
+
+#if defined (OS2) && defined (__IBMC__)
+extern int snprintf (char *str, size_t count, const char *fmt, ...);
+#endif
+
 # include <string.h>
 # include <ctype.h>
 # include <float.h>