]> andersk Git - splint.git/blame - test/iter.expect
Remove unused cpplib_createDefinition.
[splint.git] / test / iter.expect
CommitLineData
885824d3 1
80ee600a 2iter.lcl:3:6: Iterator has no yield parameters: noYield
885824d3 3iter.c: (in function test)
4iter.c:9:14: Unrecognized identifier: x
5iter.c:14:16: Yield parameter shadows local declaration: i
6 iter.c:6:7: Declaration of i
7iter.c:18:8: Iter intFor not balanced with end_intFor
8iter.c:14:12: Iter intFor expects arg 2 to be int gets char: c
9iter.c:20:20: Variable i used before definition
10iter.c:20:20: Yield parameter is not simple identifier: i + 3
11iter.c:24:24: Iter intFor not balanced with end_intFor: end_arrayElements
12iter.h: (in iter intFor)
13iter.h:1:27: Parameter ___x name is not consistent with macro variable
14 namespace prefix "m_"
15iter.h: (in iter arrayElements)
16iter.h:7:31: Parameter ___x name is not consistent with macro variable
17 namespace prefix "m_"
18iter.h:7:43: Variable ___c name is not consistent with macro variable namespace
19 prefix "m_"
20iter.h:7:55: Variable ___b name is not consistent with macro variable namespace
21 prefix "m_"
22iter.h:8:1: Macro parameter j used in conditionally executed code (may or may
23 not be evaluated exactly once) (in post loop test)
24iter.lcl:3:6: Iterator noYield specified but not defined
25iter.lcl:3:6: Iterator finalizer end_noYield specified but not defined
26
11db3170 27Finished checking --- 1 spec warning, as expected
28 14 code warnings, as expected
885824d3 29
30iter2.c: (in function test)
31iter2.c:9:14: Unrecognized identifier: x
32iter2.c:14:16: Yield parameter shadows local declaration: i
33 iter2.c:6:7: Declaration of i
34iter2.c:17:8: Iter intFor not balanced with end_intFor
35iter2.c:14:12: Iter intFor expects arg 2 to be int gets char: c
36iter2.c:19:17: Variable i used before definition
37iter2.c:19:17: Yield parameter is not simple identifier: i + 3
38iter2.c:22:24: Iter intFor not balanced with end_intFor: end_arrayElements
39iter2.h: (in iter intFor)
40iter2.h:2:27: Parameter ___x name is not consistent with macro variable
41 namespace prefix "m_"
42iter2.h: (in iter arrayElements)
43iter2.h:8:31: Parameter ___x name is not consistent with macro variable
44 namespace prefix "m_"
45iter2.h:8:43: Variable ___c name is not consistent with macro variable
46 namespace prefix "m_"
47iter2.h:8:55: Variable ___b name is not consistent with macro variable
48 namespace prefix "m_"
49iter2.h:9:1: Macro parameter j used in conditionally executed code (may or may
50 not be evaluated exactly once) (in post loop test)
51
11db3170 52Finished checking --- 12 code warnings, as expected
This page took 0.171773 seconds and 5 git commands to generate.