[splint.git] / test / tests2.5 / boolt.c

typedef int pan_bool_t;

#define PAN_FALSE (0)
#define PAN_TRUE ((pan_bool_t) 1)

pan_bool_t test (pan_bool_t b) {
  (void) test (2);
  (void) test (PAN_FALSE);
  (void) test (PAN_TRUE);
  (void) test (b);
  return PAN_TRUE;
}
Commit	Line	Data
cc78dedd	1	typedef int pan_bool_t;
	2
	3	#define PAN_FALSE (0)
	4	#define PAN_TRUE ((pan_bool_t) 1)
	5
	6	pan_bool_t test (pan_bool_t b) {
	7	(void) test (2);
	8	(void) test (PAN_FALSE);
	9	(void) test (PAN_TRUE);
	10	(void) test (b);
	11	return PAN_TRUE;
	12	}