[splint.git] / test / mergestate.expect


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:24:10: Stack-allocated storage t reachable from return value: t

Finished LCLint checking --- 2 code errors found, 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
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
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
taintednm.c:24:10: Stack-allocated storage t reachable from return value: t

Finished LCLint checking --- 4 code errors found, as expected
Commit	Line	Data
98ed3b22	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: Meta state 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.): t
	13	taintednm.c:15:7: Meta state t becomes tainted
	14	taintednm.c:19:18: Invalid transfer from tainted t to untainted (Possibly
	15	tainted storage used as untainted.): t
	16	taintednm.c:18:7: Meta state t becomes tainted
	17	taintednm.c:22:18: Invalid transfer from tainted t to untainted (Possibly
	18	tainted storage used as untainted.): t
	19	taintednm.c:18:7: Meta state 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