]> andersk Git - splint.git/blobdiff - test/libs.expect
noexpand always false.
[splint.git] / test / libs.expect
index 449517e2dde7120bb2f7bf58a0101a1d5ba3a903..2d0a75ca26f57214397baebe9ea5f1e372a47401 100644 (file)
@@ -154,8 +154,11 @@ libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
 libs.c:33:7: Undocumented modification of errno possible from call to fgetc:
                 fgetc(f)
 libs.c:33:3: Assignment of int to char: c = fgetc(f)
+libs.c:34:7: Called procedure getc may access global errno
 libs.c:34:7: Undocumented modification of *f possible from call to getc:
                 getc(f)
+libs.c:34:7: Undocumented modification of errno possible from call to getc:
+                getc(f)
 libs.c:34:3: Assignment of int to char: c = getc(f)
 libs.c: (in function main)
 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
@@ -193,4 +196,4 @@ libs.c:55:3: Undocumented modification of errno possible from call to signal:
 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
                 signal(SIGHUP, l...
 
-Finished checking --- 42 code warnings, as expected
+Finished checking --- 44 code warnings, as expected
This page took 0.034806 seconds and 4 git commands to generate.