test/oldstyle.c

   1 int f1 (x, y)
   2 {
   3   int z;
   4
   5   z = *y; /* 1. Dereference of non-pointer (int): *y */
   6
   7   return z + x;
   8 }
   9
  10 int f2 (/*@unused@*/ x) /* 2. Function f2 declared with 1 arg, specified with 2 */
  11 {
  12   return 3;
  13 }
  14
  15 int f3 (x, y)
  16    int x;
  17    /*@unused@*/ char y; /* 3. Parameter 2, y, of function f3 has inconsistent type */
  18 {
  19   return x;
  20 }
  21
  22