[splint.git] / test / stack.expect


stack.c: (in function stack1)
stack.c:10:2: Stack-allocated storage *x reachable from parameter x
   stack.c:9:3: Storage *x becomes stack-allocated storage
stack.c:10:2: Stack-allocated storage glob reachable from global glob
   stack.c:8:3: Storage glob becomes stack-allocated storage
stack.c: (in function f)
stack.c:20:14: Stack-allocated storage &x reachable from return value: &x
stack.c:31:11: Stack-allocated storage sa reachable from return value: sa
stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0]

Finished checking --- 5 code warnings, as expected

Finished checking --- no warnings
Commit	Line	Data
885824d3	1
	2	stack.c: (in function stack1)
	3	stack.c:10:2: Stack-allocated storage *x reachable from parameter x
16c024b5	4	stack.c:9:3: Storage *x becomes stack-allocated storage
885824d3	5	stack.c:10:2: Stack-allocated storage glob reachable from global glob
16c024b5	6	stack.c:8:3: Storage glob becomes stack-allocated storage
885824d3	7	stack.c: (in function f)
	8	stack.c:20:14: Stack-allocated storage &x reachable from return value: &x
	9	stack.c:31:11: Stack-allocated storage sa reachable from return value: sa
	10	stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0]
	11
11db3170	12	Finished checking --- 5 code warnings, as expected
885824d3	13
11db3170	14	Finished checking --- no warnings