1 /*
2  * bug2719592.c
3  */
4 
5 #include <testfwk.h>
6 
7 #ifdef __SDCC
8 #pragma std_sdcc99
9 #endif
10 
11 #include <stdbool.h>
12 
foo(char i,bool bv)13 bool foo(char i, bool bv)
14 {
15 	bv &= (i == 1);
16 	return bv;
17 }
18 
19 void
testBug(void)20 testBug(void)
21 {
22 	ASSERT( !foo(0,0) );
23 	ASSERT( !foo(0,1) );
24 	ASSERT( !foo(1,0) );
25 	ASSERT( foo(1,1) );
26 }
27