[splint.git] / test / db3 / check.lh

/* Output from LCLint 2.5q */

# include "bool.h"
# include "bool.h"

extern /*@falseexit@*/ void check (bool  /* x */);
Commit	Line	Data
5b73c9ca	1	/* Output from LCLint 2.5q */
885824d3	2
	3	# include "bool.h"
	4	# include "bool.h"
	5
	6	extern /@falseexit@/ void check (bool /* x */);