Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / modtest.c
blob458a16adce27d3c7aadf11ce59f83bb78889ae3f
1 int x, y, ai[], bi[];
3 typedef struct _ts { int a; int b; } tst;
5 tst ts;
7 tst *tstp;
9 int g (int a[], int *p)
11 return 7;
14 int f (int i[], int *j)
16 i[3] = y;
17 j[2] = x;
18 ai[3] = 5;
19 ai[4] = 8; /* not a modification error ai[x'] */
20 i = j;
21 x++;
22 y++;
23 ts.a = i[2];
24 ts.b = tstp->a;
25 tstp->b = 6;
26 g(j, i);
28 return 3;
31 int h(int a[])
33 y++;
34 (void) g(a, &x);
35 return y;