*** empty log message ***

[splint.git] / test / metastate.expect

diff --git a/test/metastate.expect b/test/metastate.expect
index 567e6bb748e3b176488ed29ded1a1774250e50fe..a7fa45de7233abaaff24143e22669b17157b2c02 100644 (file)
--- a/test/metastate.expect
+++ b/test/metastate.expect
@@ -2,6 +2,7 @@
 file1.c: (in function main)
 file1.c:10:14: Invalid transfer from implicitly unopen fle to open (unopen file
                   passed as open): fle
+   file1.c:6:14: Meta state fle becomes implicitly unopen
 file1.c:19:16: Invalid transfer from implicitly open fle to unopen (open file
                   passed as unopen): fle
    file1.c:12:3: Meta state fle becomes implicitly open
@@ -36,6 +37,7 @@ Finished LCLint checking --- 2 code errors found, as expected
 file4.c: (in function main)
 file4.c:15:14: Invalid transfer from implicitly unopen fle to open (unopen file
                   passed as open): fle
+   file4.c:11:14: Meta state fle becomes implicitly unopen
 
 Finished LCLint checking --- 1 code error found, as expected
 
@@ -47,16 +49,15 @@ file5.c: (in function returnOpen)
 file5.c:16:10: Result state fle does not satisfy ensures clause:
                   ensures open result (state is unopen, should be open): fle
    file5.c:13:30: Storage fle becomes dependent
-file5.c:16:10: Dependent storage fle returned as implicitly temp: fle
-   file5.c:13:30: Storage fle becomes dependent
 file5.c: (in function main)
 file5.c:25:14: Invalid transfer from implicitly unopen fle to open (unopen file
                   passed as open): fle
+   file5.c:21:14: Meta state fle becomes implicitly unopen
 file5.c:35:18: Invalid transfer from unopen fle to open (unopen file passed as
                   open): fle
    file5.c:34:3: Meta state fle becomes unopen
 
-Finished LCLint checking --- 5 code errors found, as expected
+Finished LCLint checking --- 4 code errors found, as expected
 
 file6.c: (in function newOpenBad)
 file6.c:20:10: Invalid transfer from unopen res to open (unopen file passed as
@@ -69,12 +70,12 @@ file6.c:30:12: Return loses reference fle in invalid state implicitly open
 
 Finished LCLint checking --- 2 code errors found, as expected
 
-filebad.c:1:23: Meta state anntation open used in inconsistent context:
+filebad.c:1:23: Meta state annotation open used in inconsistent context:
                    int badOpen(FILE *)
-filebad.c:3:12: Meta state anntation open used on inappropriate reference p_x
+filebad.c:3:52: Meta state annotation closed used in inconsistent context:
+                   int p_x
+filebad.c:3:12: Meta state annotation open used on inappropriate reference p_x
                    in ensures open clause of badEnsures: ensures open p_x
-filebad.c:3:12: Meta state anntation closed used on inappropriate reference p_x
-                   in requires closed clause of badEnsures: requires closed p_x
 
 Finished LCLint checking --- 3 code errors found, as expected
 
@@ -106,8 +107,9 @@ sockets2.c:24:3: Control branches merge with incompatible global states
 Finished LCLint checking --- 2 code errors found, as expected
 
 struct.c: (in function source_badClose)
-struct.c:25:2: Invalid transfer from unopen s->file to open
-   struct.c:24:10: Meta state s->file becomes unopen
+struct.c:10:2: Function returns with parameter s in inconsistent state (unopen
+                  is s->file, should be open): unopen file passed as open
+   struct.c:9:10: Meta state s->file becomes unopen
 
 Finished LCLint checking --- 1 code error found, as expected