File: fields3.c

package info (click to toggle)
splint 3.1.2.dfsg1-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,732 kB
  • ctags: 16,317
  • sloc: ansic: 150,320; yacc: 3,463; sh: 3,003; makefile: 2,153; lex: 412
file content (40 lines) | stat: -rw-r--r-- 382 bytes parent folder | download | duplicates (11) 
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
 
typedef struct 
{
  int *x;
  int *y;
} *pair;

void pair_free (/*@only@*/ pair p)
{
  int i = 3;

  free (p->x);

  if (i < 2)
    {
      *(p->y) = 3;
      i++;
    }

  free (p->y);
  free (p);
}

void pair_free2 (/*@only@*/ pair p)
{
  int i = 3;

  free (p->x);

  if (i < 2)
    {
      *(p->y) = 3;
    }
  else
    {
      *(p->y) = 12;
    }

  free (p->y);
  free (p);
}