test/alias5.lh

   1 /* Output from Splint 3.0.0.20 */
   2 # include "bool.h"
   3
   4
   5 extern void incx1 (pair  /* p */);
   6 extern void incx2 (pair  /* p */);
   7 extern void incx3 (pair  /* p */);
   8 extern void incx4 (pair  /* p */);
   9 extern /*@only@*/ pair pair_create (void);
  10 extern void pair_free (/*@only@*/ /*@out@*/ pair  /* p */);