X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/lib/posix.h

diff --git a/lib/posix.h b/lib/posix.h
index afac9e4..924efa8 100644
--- a/lib/posix.h
+++ b/lib/posix.h
@@ -229,13 +229,13 @@ struct group {
   char **gr_mem;
 };
 
-	extern /*@null@*/ struct group *
-getgrgid (gid_t gid)
-	/*@modifies errno@*/;
+/* evans 2002-07-09: added observer annotation (reported by Enrico Scholz). */
 
-	extern /*@null@*/ struct group *
-getgrnam (const char *nm)
-	/*@modifies errno@*/;
+/*@observer@*/ /*@null@*/ struct group * getgrgid (gid_t gid)
+   /*@modifies errno@*/;
+
+/*@observer@*/ /*@null@*/ struct group *getgrnam (const char *nm)
+   /*@modifies errno@*/;
 
 /*
 ** limits.h
@@ -301,13 +301,11 @@ struct passwd {
   char *pw_shell;
 } ;
 
-	extern /*@observer@*/ /*@null@*/ struct passwd *
-	getpwnam (const char *)
-     	/*@modifies errno@*/  /*@ensures maxRead(result) == 0 /\ maxSet(result) == 0 @*/;
+/*@observer@*/ /*@null@*/ struct passwd *getpwnam (const char *)
+   /*@modifies errno@*/  /*@ensures maxRead(result) == 0 /\ maxSet(result) == 0 @*/;
 
-	extern /*@observer@*/ /*@null@*/ struct passwd *
-getpwuid (uid_t uid)
-	/*@modifies errno@*/  /*@ensures maxRead(result) == 0 /\ maxSet(result) == 0 @*/;
+/*@observer@*/ /*@null@*/ struct passwd *getpwuid (uid_t uid)
+   /*@modifies errno@*/  /*@ensures maxRead(result) == 0 /\ maxSet(result) == 0 @*/;
 
 /*
 ** setjmp.h
@@ -315,13 +313,9 @@ getpwuid (uid_t uid)
 
 typedef /*@abstract@*/ /*@mutable@*/ void *sigjmp_buf;
 
-	extern /*@mayexit@*/ void
-siglongjmp (sigjmp_buf env, int val)
-	/*@*/;
+/*@mayexit@*/ void siglongjmp (sigjmp_buf env, int val)	/*@*/;
 
-	extern int
-sigsetjmp (/*@out@*/ sigjmp_buf env, int savemask)
-	/*@modifies env@*/;
+int sigsetjmp (/*@out@*/ sigjmp_buf env, int savemask) /*@modifies env@*/;
 
 /*
 ** signal.h