X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/efd360a3de13e14de15dd5cac81e94cf23f371f2..ccf0a4a84a5a030c02e90d914b3f152b29826737:/test/metastate.expect

diff --git a/test/metastate.expect b/test/metastate.expect
index b7e8522..16b1ad7 100644
--- 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