[splint.git] / test / alias5.lh

/* Output from LCLint 3.0.0.13 */
# include "bool.h"


extern void incx1 (pair  /* p */);
extern void incx2 (pair  /* p */);
extern void incx3 (pair  /* p */);
extern void incx4 (pair  /* p */);
extern /*@only@*/ pair pair_create (void);
extern void pair_free (/*@only@*/ /*@out@*/ pair  /* p */);
Commit	Line	Data
1d239d69	1	/* Output from LCLint 3.0.0.13 */
885824d3	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 */);