X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/5b99bfd6792ab9229bb5b1d9048833d21b22ecef..210066f9dd04de7d7d2f04d320b39a52f28b290b:/lib/unix.h diff --git a/lib/unix.h b/lib/unix.h index 58afa91..0cba8d8 100644 --- 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) /*@*/ ;