]> andersk Git - splint.git/blob - test/stack.out
Tried to fix more problmes with the Makefiles
[splint.git] / test / stack.out
1
2 Cannot find standard library: ansi.lcd
3      Check LARCH_PATH environment variable.
4 stack.c: (in function stack1)
5 stack.c:10:2: Stack-allocated storage *x reachable from parameter x
6    stack.c:9:3: Storage *x becomes stack
7 stack.c:10:2: Stack-allocated storage glob reachable from global glob
8    stack.c:8:3: Storage glob becomes stack
9 stack.c: (in function f)
10 stack.c:20:14: Stack-allocated storage &x reachable from return value: &x
11 stack.c:31:11: Stack-allocated storage sa reachable from return value: sa
12 stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0]
13
14 Finished LCLint checking --- 5 code errors found, as expected
15
16 Cannot find standard library: ansi.lcd
17      Check LARCH_PATH environment variable.
18
19 Finished LCLint checking --- no code errors found
This page took 0.052454 seconds and 5 git commands to generate.