]> andersk Git - splint.git/blobdiff - src/Headers/forwardTypes.h
Removed obsolete OS/2 test makefiles.
[splint.git] / src / Headers / forwardTypes.h
index af3c8a41e54f4bf58f96ec8a333c94a8f9e0f831..091bea791fbdd260f6a7d7d791d084029a04f08d 100644 (file)
@@ -3,6 +3,13 @@
 
 # include "lclForwardTypes.h"
 
+# 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;
 abst_typedef /*@null@*/ struct s_uentry *uentry;
 typedef struct s_hashNode *hashNode;
@@ -77,11 +84,7 @@ abst_typedef /*@null@*/ ctypeList fileIdList;
 
 abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
 
-/*@-cppnames@*/
-typedef int bool;
-/*@=cppnames@*/
-
-abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
+abst_typedef /*@null@*/ char *cstring;
 typedef /*@only@*/ cstring o_cstring;
 
 abst_typedef /*@null@*/ struct s_cstringSList *cstringSList;
This page took 0.050473 seconds and 4 git commands to generate.