]> andersk Git - splint.git/commitdiff
Added linux builtin type in inet.h to unix library.
authorevans1629 <evans1629>
Wed, 16 Apr 2003 22:41:39 +0000 (22:41 +0000)
committerevans1629 <evans1629>
Wed, 16 Apr 2003 22:41:39 +0000 (22:41 +0000)
Changed default setting of warnunixlib and error message.

lib/unix.h
src/Makefile.am
src/Makefile.in
src/context.c
test/Makefile.am
test/Makefile.in
test/clauses.expect
test/tests2.4/Makefile

index 627bb30693d7adad22a9a73a0b923e0c1c9af1dc..4006d32ff3e72985ae38e9c4ca056aa26b379d90 100644 (file)
@@ -455,6 +455,7 @@ typedef /*@unsignedintegraltype@*/ sa_family_t;
 ** (updated 26 May 2002)
 */
 
+typedef /*@unsignedintegraltype@*/ __socklen_t; /* not in USB, but needed by linux */
 typedef /*@unsignedintegraltype@*/ socklen_t;
 
 struct sockaddr {
index aa76a9e6d5f24c379d49cb07e6958aa057cfc043..ead43f6112004748da9dd04751301d530752fad8 100644 (file)
@@ -211,7 +211,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/letDeclNodeList.h        Headers/typeNameNodeList.h \
           Headers/lh.h                     Headers/typeNamePack.h \
           Headers/limwr.h                  Headers/typeNode.h \
-                             Headers/uentry.h \
+          Headers/uentry.h \
           Headers/llerror.h                Headers/uentryList.h \
           Headers/llglobals.h              Headers/usymId.h \
           Headers/llgrammar2.h             Headers/usymIdSet.h \
@@ -317,7 +317,7 @@ Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison
          $(CP) cgrammar.c.der cgrammar.c; \
        else \
          echo '* Making cgrammar.c'; \
-         echo '*      Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
+          echo '*      Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
          $(BISON) $(YFLAGS) cgrammar.y; \
          $(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
          $(CP) cgrammar.c cgrammar.c.der; \
@@ -334,7 +334,7 @@ Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
          $(CP) mtgrammar.c.der mtgrammar.c; \
        else \
          echo '* Making mtgrammar.c'; \
-         echo '* Expect 11 shift/reduce conflicts.'; \
+         echo '*      Note: Expect 11 shift/reduce conflicts.'; \
          $(BISON) $(YFLAGS) -p mt mtgrammar.y; \
          $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
          $(CP) mtgrammar.c mtgrammar.c.der; \
@@ -350,7 +350,7 @@ Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der ll
          $(CP) llgrammar.c.der llgrammar.c; \
        else \
          echo '* Making llgrammar.c'; \
-         echo '* Expect 2 shift/reduce conflicts'; \
+         echo '*      Note: Expect 2 shift/reduce conflicts'; \
          $(BISON) $(YFLAGS) -p yl llgrammar.y; \
          $(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
          $(CP) llgrammar.c llgrammar.c.der; \
index d501c7f4bbc77e55840035d4088446b55f00dccd..e32509e6f2f33044dffa5fc5e7e0804840c1e514 100644 (file)
@@ -307,7 +307,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/letDeclNodeList.h        Headers/typeNameNodeList.h \
           Headers/lh.h                     Headers/typeNamePack.h \
           Headers/limwr.h                  Headers/typeNode.h \
-                             Headers/uentry.h \
+          Headers/uentry.h \
           Headers/llerror.h                Headers/uentryList.h \
           Headers/llglobals.h              Headers/usymId.h \
           Headers/llgrammar2.h             Headers/usymIdSet.h \
@@ -1059,7 +1059,7 @@ Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison
          $(CP) cgrammar.c.der cgrammar.c; \
        else \
          echo '* Making cgrammar.c'; \
-         echo '*      Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
+          echo '*      Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
          $(BISON) $(YFLAGS) cgrammar.y; \
          $(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
          $(CP) cgrammar.c cgrammar.c.der; \
@@ -1073,7 +1073,7 @@ Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
          $(CP) mtgrammar.c.der mtgrammar.c; \
        else \
          echo '* Making mtgrammar.c'; \
-         echo '* Expect 11 shift/reduce conflicts.'; \
+         echo '*      Note: Expect 11 shift/reduce conflicts.'; \
          $(BISON) $(YFLAGS) -p mt mtgrammar.y; \
          $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
          $(CP) mtgrammar.c mtgrammar.c.der; \
@@ -1087,7 +1087,7 @@ Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der ll
          $(CP) llgrammar.c.der llgrammar.c; \
        else \
          echo '* Making llgrammar.c'; \
-         echo '* Expect 2 shift/reduce conflicts'; \
+         echo '*      Note: Expect 2 shift/reduce conflicts'; \
          $(BISON) $(YFLAGS) -p yl llgrammar.y; \
          $(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
          $(CP) llgrammar.c llgrammar.c.der; \
index e0755e4e2eed131756e6e6add94f519c5be9fc06..c67fa9ee8d3de1ac173f4449b4919e32a406356c 100644 (file)
@@ -884,7 +884,7 @@ context_resetAllFlags (void)
   gc.flags[FLG_WARNFLAGS] = TRUE;
   gc.flags[FLG_WARNRC] = TRUE;
   gc.flags[FLG_FILEEXTENSIONS] = TRUE;
-  gc.flags[FLG_WARNUNIXLIB] = TRUE;
+  gc.flags[FLG_WARNUNIXLIB] = FALSE;
   gc.flags[FLG_WARNPOSIX] = TRUE;
   gc.flags[FLG_SHOWCOL] = TRUE;
   gc.flags[FLG_SHOWDEEPHISTORY] = FALSE; /* TRUE; */
@@ -3787,8 +3787,8 @@ context_userSetFlag (flagcode f, bool b)
              llerror_flagWarning
                (cstring_makeLiteral
                 ("Selecting unix library.  Unix library is "
-                 "ad hoc addition to POSIX library.  Recommend "
-                 "use +posixlib to select POSIX library instead. "
+                 "based on the Single Unix Specification, Version 2.  Not all "
+                 "Unix implementations are consistend with this specification. "
                  "Use -warnunixlib to suppress this message."));
            }
        }
index 86c531436c249384b2cba42496d80c89202351ba..51b5a3ef4ea4e4f68c3652d706a570a6f137adb9 100644 (file)
@@ -607,7 +607,7 @@ null:
        -$(SPLINTR) null1.c -null -mustdefine -expect 4
        -$(SPLINTR) null2.c -expect 11
        -$(SPLINTR) null3.c -expect 15
-       -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16
+       -$(SPLINTR) null3.c +unixlib -expect 16
        -$(SPLINTR) null4.c -expect 1
        -$(SPLINTR) null5.c -expect 4
        -$(SPLINTR) null6 -expect 4
index c303afca8f30e3840f5ff9528ef9d4ff349a72ef..3984b5026fb784a839095c5ff220885db90901bb 100644 (file)
@@ -1407,7 +1407,7 @@ null:
        -$(SPLINTR) null1.c -null -mustdefine -expect 4
        -$(SPLINTR) null2.c -expect 11
        -$(SPLINTR) null3.c -expect 15
-       -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16
+       -$(SPLINTR) null3.c +unixlib -expect 16
        -$(SPLINTR) null4.c -expect 1
        -$(SPLINTR) null5.c -expect 4
        -$(SPLINTR) null6 -expect 4
index b72683015fabd43efb2fbbda5de4af1f36951be4..03ddaef25d95d8a8866f07e6546207387def74eb 100644 (file)
@@ -29,9 +29,6 @@ clauses3.c:61:5: Storage x->x is released in one path, but live in another.
 
 Finished checking --- 2 code warnings, as expected
 
-Command Line: Selecting unix library.  Unix library is ad hoc addition to POSIX
-    library.  Recommend use +posixlib to select POSIX library instead. Use
-    -warnunixlib to suppress this message.
 clauses3.c: (in function h)
 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
    clauses3.c:46:10: Storage x->x released
index 734a5ff4da677987a13496662a285afcdf99f7eb..109c80efbb8aeac2a07f2b37af32076fd3a62bec 100644 (file)
@@ -49,7 +49,7 @@ print:
        $(SPLINT) print.c 
 
 syslog:
-       $(SPLINT) syslog.c -warnunixlib +unixlib 
+       $(SPLINT) syslog.c +unixlib 
 
 error:
        $(SPLINT) error.c -expect 1 
This page took 0.063355 seconds and 5 git commands to generate.