Hacking Makefile to print a warning when test suite to run under /usr

[splint.git] / test / mergestate.expect

diff --git a/test/mergestate.expect b/test/mergestate.expect
index 6fbe92ef43e54234058bb36a81b8b1206064c670..1c4327dc480cf9b40a5bbaf9ebff1d6c3250db84 100644 (file)
--- a/test/mergestate.expect
+++ b/test/mergestate.expect
@@ -2,21 +2,24 @@
 taintednm.c: (in function f)
 taintednm.c:15:7: Attributes merged in ensures clause in states that cannot be
                      combined (t2 is untainted, s is tainted): bogus merge
-   taintednm.c:1:32: Meta state s becomes tainted
+   taintednm.c:1:32: s becomes tainted
 taintednm.c:24:10: Stack-allocated storage t reachable from return value: t
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 taintednm.c: (in function f)
 taintednm.c:16:18: Invalid transfer from tainted t to untainted (Possibly
-                      tainted storage used as untainted.): t
-   taintednm.c:15:7: Meta state t becomes tainted
+                      tainted storage used as untainted.): system(..., t, ...)
+   taintednm.c:15:7: t becomes tainted
+   taintednm.xh:23:55: s becomes untainted
 taintednm.c:19:18: Invalid transfer from tainted t to untainted (Possibly
-                      tainted storage used as untainted.): t
-   taintednm.c:18:7: Meta state t becomes tainted
+                      tainted storage used as untainted.): system(..., t, ...)
+   taintednm.c:18:7: t becomes tainted
+   taintednm.xh:23:55: s becomes untainted
 taintednm.c:22:18: Invalid transfer from tainted t to untainted (Possibly
-                      tainted storage used as untainted.): t
-   taintednm.c:18:7: Meta state t becomes tainted
+                      tainted storage used as untainted.): system(..., t, ...)
+   taintednm.c:18:7: t becomes tainted
+   taintednm.xh:23:55: s becomes untainted
 taintednm.c:24:10: Stack-allocated storage t reachable from return value: t
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected