Fixed problem with NULL being changed.

[splint.git] / lib / unix.h

diff --git a/lib/unix.h b/lib/unix.h
index 58afa916593b18ba8dc66d8f35e093ae2c04b265..0cba8d804abd006280b2d2b0225ee82c5572e3ad 100644 (file)
--- a/lib/unix.h
+++ b/lib/unix.h
@@ -1321,12 +1321,12 @@ struct stat {
 /*@constant int UF_APPEND@*/
 # endif
 
-int /*@alt _Bool@*/ S_ISBLK (/*@sef@*/ mode_t m) /*@*/;
-int /*@alt _Bool@*/ S_ISCHR (/*@sef@*/ mode_t m) /*@*/;
-int /*@alt _Bool@*/ S_ISDIR (/*@sef@*/ mode_t m) /*@*/;
-int /*@alt _Bool@*/ S_ISFIFO (/*@sef@*/ mode_t m) /*@*/;
-int /*@alt _Bool@*/ S_ISREG (/*@sef@*/ mode_t m) /*@*/;
-int /*@alt _Bool@*/ S_ISLNK (/*@sef@*/ mode_t m) /*@*/;
+int /*@alt _Bool@*/ S_ISBLK (/*@sef@*/ __mode_t m) /*@*/;
+int /*@alt _Bool@*/ S_ISCHR (/*@sef@*/ __mode_t m) /*@*/;
+int /*@alt _Bool@*/ S_ISDIR (/*@sef@*/ __mode_t m) /*@*/;
+int /*@alt _Bool@*/ S_ISFIFO (/*@sef@*/ __mode_t m) /*@*/;
+int /*@alt _Bool@*/ S_ISREG (/*@sef@*/ __mode_t m) /*@*/;
+int /*@alt _Bool@*/ S_ISLNK (/*@sef@*/ __mode_t m) /*@*/;
 
 int /*@alt _Bool@*/ S_TYPEISMQ (/*@sef@*/ struct stat *buf) /*@*/ ;
 int /*@alt _Bool@*/ S_TYPEISSEM (/*@sef@*/ struct stat *buf) /*@*/ ;