*** empty log message ***

[splint.git] / test / tainted.expect

diff --git a/test/tainted.expect b/test/tainted.expect
index 3e4cd0e6365861df8161375eab15fa2bf77a614c..f823c5dd17a5a203889d7d85a7addcd00d000f5c 100644 (file)
--- a/test/tainted.expect
+++ b/test/tainted.expect
@@ -83,3 +83,13 @@ taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
    taintedimplicit.c:17:18: Meta state becomes tainted
 
 Finished LCLint checking --- 1 code error found, as expected
+
+sprintf.c: (in function sp)
+sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted
+                    storage used as untainted.): s
+   sprintf.c:10:37: Meta state s becomes tainted
+sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted
+                    storage used as untainted.): s
+   sprintf.c:13:61: Meta state s becomes tainted
+
+Finished LCLint checking --- 2 code errors found, as expected