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