[splint.git] / test / external.c

int func (int x, int y);
int Func (int x, int y);

int small1 (void);
int small2 (void);

int longfunction1 (void);
int longfunction2 (void);

static /*@unused@*/ int slongfunction1 (void);
static /*@unused@*/ int slongfunction2 (void);
Commit	Line	Data
885824d3	1	int func (int x, int y);
	2	int Func (int x, int y);
	3
	4	int small1 (void);
	5	int small2 (void);
	6
	7	int longfunction1 (void);
	8	int longfunction2 (void);
	9
	10	static /@unused@/ int slongfunction1 (void);
	11	static /@unused@/ int slongfunction2 (void);