*** empty log message ***

[splint.git] / test / tainted.expect

diff --git a/test/tainted.expect b/test/tainted.expect
index 4f458b4a85b9f8cb6254324def771bbbf0ee66ac..3e4cd0e6365861df8161375eab15fa2bf77a614c 100644 (file)
--- a/test/tainted.expect
+++ b/test/tainted.expect
@@ -51,25 +51,20 @@ tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly
 Finished LCLint checking --- 1 code error found, as expected
 
 tainted3.c: (in function test)
-tainted3.c:7:3: Requires clause of called function checkUntainted not satisfied
-                   by def (state is tainted): requires untainted def
+tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly
+                    tainted storage used as untainted.): def
+   tainted3.c:4:36: Meta state def becomes tainted
 
 Finished LCLint checking --- 1 code error found, as expected
 
 tainted4.c: (in function test)
-tainted4.c:7:3: Requires clause of called function checkUntainted not satisfied
-                   by def (state is tainted): requires untainted *def
+tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def):
+                    Possibly tainted storage used as untainted.
+   tainted4.c:6:36: Meta state def becomes tainted
 
 Finished LCLint checking --- 1 code error found, as expected
 
-tainted5.c: (in function test)
-tainted5.c:7:3: Requires clause of called function checkTainted not satisfied
-                   by def (state is untainted): requires tainted *def
-tainted5.c: (in function test2)
-tainted5.c:13:3: Requires clause of called function checkTainted not satisfied
-                    by *def (state is untainted): requires tainted *def
-
-Finished LCLint checking --- 2 code errors found, as expected
+Finished LCLint checking --- no code errors found
 
 taintedmerge.c: (in function f)
 taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly
@@ -81,3 +76,10 @@ taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly
 taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t
 
 Finished LCLint checking --- 3 code errors found, as expected
+
+taintedimplicit.c: (in function dangerouscall)
+taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
+    untainted (Possibly tainted storage used as untainted.): taintme(s)
+   taintedimplicit.c:17:18: Meta state becomes tainted
+
+Finished LCLint checking --- 1 code error found, as expected