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

typedef /*@abstract@*/ enum {FALSE = 0, TRUE = 1} BOOLEAN;

void func (BOOLEAN foo)
{
  foo = FALSE;
}

int main (void)
{
    BOOLEAN foo;

    func (foo);

    return 0;
}
Commit	Line	Data
cc78dedd	1	typedef /@abstract@/ enum {FALSE = 0, TRUE = 1} BOOLEAN;
	2
	3	void func (BOOLEAN foo)
	4	{
	5	foo = FALSE;
	6	}
	7
	8	int main (void)
	9	{
	10	BOOLEAN foo;
	11
	12	func (foo);
	13
	14	return 0;
	15	}