]> andersk Git - splint.git/blame - test/iter2.c
Fixed processing of multi-dimensional arrays.
[splint.git] / test / iter2.c
CommitLineData
885824d3 1# include "iter2.h"
2
3int test (void)
4{
5 char c;
6 int i;
7 int *a;
8
9 intFor(2,5,x,z) /* 1. unrecognized identifier: x */
10 {
11 printf("%d\n", z);
12 } end_intFor;
13
14 intFor(2,c,x,i) /* 2, 3, 5. yield param shadows local, variable i declared but not used, type mismatch c */
15 {
16 ;
17 } ; /* 4. not balanced with end_intFor */
18
19 intFor(2,12,x,i+3) /* 6, 7. use i before def, yield param not simple */
20 {
21 ;
22 } end_arrayElements; /* 8. not balanced with end_intFor */
23
24 arrayElements(1, 10, a, el)
25 {
26 printf("%d\n", el);
27 } end_arrayElements;
28 return 3;
29}
30
31
32
This page took 0.61549 seconds and 5 git commands to generate.