Removed obsolete OS/2 test makefiles.

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index b55a8d25eb6496c90ae941683fb3420866ea9b64..091bea791fbdd260f6a7d7d791d084029a04f08d 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -3,9 +3,11 @@
 
 # include "lclForwardTypes.h"
 
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
 /* Microsoft doesn't support ISO C99 yet */
+/*@-namechecks@*/
 typedef int bool; 
+/*@=namechecks@*/
 # endif
 
 abst_typedef /*@null@*/ struct s_sRef *sRef;
@@ -82,7 +84,7 @@ abst_typedef /*@null@*/ ctypeList fileIdList;
 
 abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
 
-abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
+abst_typedef /*@null@*/ char *cstring;
 typedef /*@only@*/ cstring o_cstring;
 
 abst_typedef /*@null@*/ struct s_cstringSList *cstringSList;