File: iter.c

package info (click to toggle)
splint 1%3A3.1.2%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 21,012 kB
  • ctags: 23,302
  • sloc: ansic: 150,869; yacc: 3,465; sh: 3,034; makefile: 2,160; lex: 412
file content (34 lines) | stat: -rw-r--r-- 720 bytes parent folder | download | duplicates (10)
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
# include "iter.h"

int test (void)
{
  char c;
  int i;
  int *a;

  intFor(2,5,x,z) /* 2. Unrecognized identifier: x */
    {
      printf("%d\n", z);
    } end_intFor;

  intFor(2,c,x,i) /* 3. Yield parameter shadows local declaration: i 
		     5. Iter intFor expects arg 2 to be int gets char: c */
    {
      ;
    } ; /* 4. Iter intFor not balanced with end_intFor */

  intFor(2, 12, x, i+3) /* 6, 7. Variable i used before definition
			         Yield parameter is not simple identifier: i + 3 */
    {
      ;
    } end_arrayElements; /* 8. Iter intFor not balanced with end_intFor: end_arrayElements */

  arrayElements(1, 10, a, el)
    {
      printf("%d\n", el);
    } end_arrayElements;
  return 3;
}