File: only.c

package info (click to toggle)
lclint-doc 2.4b-2
  • links: PTS
  • area: main
  • in suites: potato, woody
  • size: 2,360 kB
  • ctags: 2,164
  • sloc: ansic: 402; makefile: 122
file content (15 lines) | stat: -rw-r--r-- 220 bytes parent folder | download | duplicates (10)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
extern /*@only@*/ int *glob;
 
/*@only@*/ int *
  f (/*@only@*/ int *x, int *y,
     int *z)
  /*@globals int *glob;@*/
{
  int *m = (int *)
    malloc (sizeof (int));
  
  glob = y;
  free (x);
  *m = *x;
  return z;
}