X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/efd360a3de13e14de15dd5cac81e94cf23f371f2..b7e846050a7dacd97326b1c38d2dd417569b0ce8:/src/lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index aa5c917..87c1deb 100644
--- a/src/lcllib.c
+++ b/src/lcllib.c
@@ -49,25 +49,30 @@
 # include "portab.h"
 
 /*@-incondefs@*/ /*@-redecl@*/
-extern /*@open@*/ /*@dependent@*/ FILE *yyin;
+extern /*:open:*/ /*@dependent@*/ FILE *yyin;
 /*@=incondefs@*/ /*@=redecl@*/
 
 /*@constant int NUMLIBS; @*/
 # define NUMLIBS 17
 
 /*@constant int NUMPOSIXLIBS; @*/
-# define NUMPOSIXLIBS 13
+# define NUMPOSIXLIBS 18
 
 static ob_mstring posixlibs[NUMPOSIXLIBS] = 
 {
-  "sys/stat",
-  "sys/types",
   "dirent",
   "fcntl",
   "grp",
   "pwd",
   "regex",
+  "sys/stat",
   "sys/times",
+  "sys/types", 
+  "netdb", /* unix */
+  "netinet/in", /* unix */
+  "sys/resource", /* unix */
+  "sys/socket", /* not posix */
+  "sys/syslog", /* not posix */
   "sys/utsname",
   "sys/wait",
   "termios",
@@ -110,6 +115,8 @@ lcllib_isSkipHeader (cstring sname)
   llassert (cstring_isDefined (sname));
   xname = fileLib_withoutExtension (sname, cstring_makeLiteralTemp (".h"));
 
+  DPRINTF (("Include? %s", sname));
+
   /*@access cstring@*/
   llassert (cstring_isDefined (xname));
   libname = strrchr (xname, CONNECTCHAR);
@@ -138,7 +145,7 @@ lcllib_isSkipHeader (cstring sname)
 	 tmp);
       
       fileloc_free (tmp);
-      sfree (xname);
+      cstring_free (xname);
       return TRUE;
     }
 
@@ -194,7 +201,7 @@ lcllib_isSkipHeader (cstring sname)
 	{
 	  if (context_getFlag (FLG_SKIPPOSIXHEADERS))
 	    {
-	      sfree (xname);
+	      cstring_free (xname);
 	      return TRUE;
 	    }
 	}