test/mergestate.expect

   1
   2 taintednm.c: (in function f)
   3 taintednm.c:15:7: Attributes merged in ensures clause in states that cannot be
   4                      combined (t2 is untainted, s is tainted): bogus merge
   5    taintednm.c:1:32: s becomes tainted
   6 taintednm.c:24:10: Stack-allocated storage t reachable from return value: t
   7
   8 Finished LCLint checking --- 2 code errors found, as expected
   9
  10 taintednm.c: (in function f)
  11 taintednm.c:16:18: Invalid transfer from tainted t to untainted (Possibly
  12                       tainted storage used as untainted.): system(..., t, ...)
  13    taintednm.c:15:7: t becomes tainted
  14 taintednm.c:19:18: Invalid transfer from tainted t to untainted (Possibly
  15                       tainted storage used as untainted.): system(..., t, ...)
  16    taintednm.c:18:7: t becomes tainted
  17 taintednm.c:22:18: Invalid transfer from tainted t to untainted (Possibly
  18                       tainted storage used as untainted.): system(..., t, ...)
  19    taintednm.c:18:7: t becomes tainted
  20 taintednm.c:24:10: Stack-allocated storage t reachable from return value: t
  21
  22 Finished LCLint checking --- 4 code errors found, as expected