*** empty log message ***

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index aa5c917df3f6decdf96fa95658a270a806c3979f..87c1deb2e579f2a512e7fecb610aab46c8d531f4 100644 (file)
--- 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;
            }
        }