*** empty log message ***

[splint.git] / test / metastate.expect

diff --git a/test/metastate.expect b/test/metastate.expect
index b7e85225a6e20bb06bb195abcfecf45edb563717..16b1ad7ebc119af1bfaf367cf8f17f9eda0797dd 100644 (file)
--- a/test/metastate.expect
+++ b/test/metastate.expect
@@ -47,8 +47,6 @@ 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
@@ -56,7 +54,7 @@ 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
@@ -71,10 +69,10 @@ Finished LCLint checking --- 2 code errors found, as expected
 
 filebad.c:1:23: Meta state anntation open used in inconsistent context:
                    int badOpen(FILE *)
+filebad.c:3:52: Meta state anntation closed used in inconsistent context:
+                   int p_x
 filebad.c:3:12: Meta state anntation 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