/*
 * bug2719592.c
 */

#include <testfwk.h>

#ifdef __SDCC
#pragma std_sdcc99
#endif

#include <stdbool.h>

bool foo(char i, bool bv)
{
	bv &= (i == 1);
	return bv;
}

void
testBug(void)
{
	ASSERT( !foo(0,0) );
	ASSERT( !foo(0,1) );
	ASSERT( !foo(1,0) );
	ASSERT( foo(1,1) );
}