File: modtest.c

package info (click to toggle)
splint 1%3A3.1.2%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid, trixie
  • size: 21,004 kB
  • sloc: ansic: 150,869; yacc: 3,465; sh: 3,034; makefile: 2,157; lex: 412
file content (37 lines) | stat: -rw-r--r-- 400 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
35
36
37
 
int x, y, ai[], bi[];

typedef struct _ts { int a; int b; } tst;

tst ts;

tst *tstp;

int g (int a[], int *p)
{
  return 7;
}

int f (int i[], int *j)
{
  i[3] = y;
  j[2] = x;
  ai[3] = 5;
  ai[4] = 8;   /* not a modification error ai[x'] */
  i = j;
  x++;
  y++;
  ts.a = i[2];
  ts.b = tstp->a;
  tstp->b = 6;
  g(j, i);

  return 3;
}

int h(int a[])
{
  y++;
  (void) g(a, &x);
  return y;
}