From 2a3f24b83026515b6a9ce54a2ff4fb1eab2fe2f9 Mon Sep 17 00:00:00 2001
From: evans1629 <evans1629>
Date: Tue, 2 Jul 2002 13:59:57 +0000
Subject: [PATCH] Fixed annotations on struct iovec and struct msghdr in unix.h

---
 lib/standard.h |  4 ++--
 lib/unix.h     | 22 ++++++----------------
 2 files changed, 8 insertions(+), 18 deletions(-)

diff --git a/lib/standard.h b/lib/standard.h
index caed5a7..e0a5b8d 100644
--- a/lib/standard.h
+++ b/lib/standard.h
@@ -1,5 +1,5 @@
 /*
-** satndard.h --- ISO C99 Standard Library for Splint.
+** standard.h --- ISO C99 Standard Library for Splint.
 **
 ** Process with -DSTRICT to get strict library.
 */
@@ -935,7 +935,7 @@ size_t strcspn (char *s1, char *s2) /*@*/ ;
 size_t strspn (char *s, char *t) /*@*/ ;
 
 /*@null@*/ /*@exposed@*/  char *
-  strstr (/*@returned@*/ /*@unique@*/ char *s, char *t) /*@*/
+  strstr (/*@returned@*/ const char *s, const char *t) /*@*/
        /*@ensures maxSet(result) >= 0 /\ maxSet(result) <= maxSet(s) /\ maxRead (result) <= maxRead(s) /\ maxRead(result) >= 0 /\ maxRead(result) >= maxRead(t) /\ maxSet(result) >= maxRead(t)@*/ ;
 
 /*@null@*/ /*@exposed@*/ char *
diff --git a/lib/unix.h b/lib/unix.h
index 2f51370..247bb9a 100644
--- a/lib/unix.h
+++ b/lib/unix.h
@@ -295,7 +295,7 @@ pid_t vfork (void) /*@modifies fileSystem@*/ ;
 */
 
 struct iovec {
-  void *iov_base;
+  /*@dependent@*/ void *iov_base;
   size_t iov_len; /*: maxSet(iov_base) = iov_len */
 };
 
@@ -445,11 +445,9 @@ extern void free (/*@notnull@*/ /*@out@*/ /*@only@*/ void *p) /*@modifies *p@*/
 /*@constant int NET_RT_IFLIST@*/
 /*@constant int NET_RT_MAXID@*/
 
-
 /*moved this to before socket.h to get splint to parse the header*/
 typedef /*@unsignedintegraltype@*/ sa_family_t;
 
-
 /*
 ** sys/socket.h
 ** (updated 26 May 2002)
@@ -467,11 +465,11 @@ struct sockaddr_storage {
 } ;
 
 struct msghdr {
-  void *msg_name;		
+  /*@dependent@*/ void *msg_name;		
   socklen_t msg_namelen;	/*: maxSet (msg_name) >= msg_namelen */
-  struct iovec *msg_iov;	/* scatter/gather array */
+  /*@dependent@*/ struct iovec *msg_iov;	/* scatter/gather array */
   int msg_iovlen;		/* # elements in msg_iov */ /*: maxSet (msg_iov) >= msg_iovlen */
-  void *msg_control;		/* ancillary data, see below */
+  /*@dependent@*/ void *msg_control;		/* ancillary data, see below */
   socklen_t msg_controllen;     /*: maxSet (msg_control) >= msg_controllen */
   int msg_flags;		/* flags on received message */
 } ;
@@ -557,16 +555,8 @@ int bind (int s, const struct sockaddr *name, int namelen)
 int connect (int s, const struct sockaddr *name, int namelen)
   /*@modifies errno, internalState@*/;
 
+int getpeername (int s, /*@out@*/ struct sockaddr */*restrict*/ name, socklen_t */*restrict*/ namelen)
   /*drl splint doesn't handle restrict yet*/
-int getpeername (int s, /*@out@*/ struct sockaddr *
-#if 0
-		 restrict
-#endif
-		 name, socklen_t *
-#if 0		 
-		 restrict
-#endif
-		 namelen)
    /*@modifies *name, *namelen, errno@*/;
 	
 #ifdef STRICT
@@ -2250,7 +2240,7 @@ void srand48 (long int seedval) /*@modifies internalState@*/ ;
 typedef /*@unsignedintegraltype@*/ in_port_t; /* An unsigned integral type of exactly 16 bits. */
 typedef /*@unsignedintegraltype@*/ in_addr_t; /* An unsigned integral type of exactly 32 bits. */
 
-typedef /*@unsignedintegraltype@*/ sa_family_t;
+/* sa_family_t moved earlier */
 
 struct in_addr {
   in_addr_t      s_addr;
-- 
2.45.2