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