[splint.git] / test / tests2.2a / fred.c

#include <stdlib.h>			/* free, EXIT_SUCCESS */

typedef int Bool;	
#define False	0

static void CheckQualsSub(Bool Found);

void CheckQuals(void)
{
    Bool B = False;
    
    CheckQualsSub (B);
}
Commit	Line	Data
885824d3	1	#include <stdlib.h> /* free, EXIT_SUCCESS */
	2
	3	typedef int Bool;
	4	#define False 0
	5
	6	static void CheckQualsSub(Bool Found);
	7
	8	void CheckQuals(void)
	9	{
	10	Bool B = False;
	11
	12	CheckQualsSub (B);
	13	}