Committed my changes (but there are several splintme errors currently).

[splint.git] / test / metastate.expect

diff --git a/test/metastate.expect b/test/metastate.expect
index b3ce7b9be8198eb4e490da8b745d2539f70f24bf..e578a3418eae847931fc46c0f7a72d3d4cedf88d 100644 (file)
--- a/test/metastate.expect
+++ b/test/metastate.expect
@@ -14,7 +14,7 @@ file1.c:23:14: Invalid transfer from unopen fle to open (unopen file passed as
    file1.c:1:53: parameter 1 becomes open
 file1.c:7:8: Variable s declared but not used
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
 
 file2.c: (in function main)
 file2.c:11:6: Scope exit loses reference fle2 in invalid state implicitly open
@@ -24,7 +24,7 @@ file2.c:13:12: Return loses reference fle1 in invalid state implicitly open
                   (open file not closed)
    file2.c:5:37: State becomes implicitly open
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 file3.c: (in function main)
 file3.c:10:22: Possibly null storage fle1 passed as non-null param:
@@ -35,7 +35,7 @@ file3.c:11:5: Control branches merge with incompatible states for fle1 (unopen
    file3.c:6:37: fle1 becomes implicitly open
    file3.c:10:14: fle1 becomes unopen
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 file4.c: (in function main)
 file4.c:15:14: Invalid transfer from implicitly unopen fle to open (unopen file
@@ -43,7 +43,7 @@ file4.c:15:14: Invalid transfer from implicitly unopen fle to open (unopen file
    file4.c:11:14: fle becomes implicitly unopen
    file4.c:1:53: parameter 1 becomes open
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
 file5.c: (in function passOpen)
 file5.c:8:2: Ensures clause not satisfied by f (state is open):
@@ -63,7 +63,7 @@ file5.c:35:18: Invalid transfer from unopen fle to open (unopen file passed as
    file5.c:34:3: fle becomes unopen
    file.xh:1:44: parameter 1 becomes open
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
 
 file6.c: (in function newOpenBad)
 file6.c:20:10: Invalid transfer from unopen res to open (unopen file passed as
@@ -75,7 +75,7 @@ file6.c:30:12: Return loses reference fle in invalid state implicitly open
                   (open file not closed)
    file6.c:27:3: State becomes implicitly open
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 filebad.c:1:23: Attribute annotation open used in inconsistent context:
                    int badOpen(FILE *)
@@ -84,7 +84,7 @@ filebad.c:3:52: Attribute annotation closed used in inconsistent context:
 filebad.c:3:12: Attribute annotation open used on inappropriate reference p_x
                    in ensures open clause of badEnsures: ensures open p_x
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 sockets.c: (in function test1)
 sockets.c:13:3: Requires clause of called function useSockets not satisfied
@@ -96,7 +96,7 @@ sockets.c: (in function test6)
 sockets.c:42:3: Requires clause of called function useSockets not satisfied
                    (state is uninitialized): requires sockets_initialized 
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 sockets2.c: (in function test1)
 sockets2.c:15:4: Control branches merge with incompatible global states
@@ -111,14 +111,14 @@ sockets2.c:24:3: Control branches merge with incompatible global states
    sockets2.c:20:24: <global marker> becomes initialized
    sockets2.c:23:5: <global marker> becomes uninitialized
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 struct.c: (in function source_badClose)
 struct.c:10:2: Function returns with parameter s in inconsistent state (s->file
                   is unopen, should be open): unopen file passed as open
    struct.c:9:10: s->file becomes unopen
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
 nullbranch.c: (in function ftest2)
 nullbranch.c:30:22: Possibly null storage f passed as non-null param:
@@ -128,10 +128,10 @@ nullbranch.c:32:2: Return loses reference f in invalid state open (open file
                       not closed)
    nullbranch.c:22:3: State becomes open
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 osd.c: (in function osd_fileIsReadable)
 osd.c:9:7: Return value (type int) ignored: fclose(fl)
 osd.c:10:14: Return value type bool does not match declared type int: (TRUE)
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected