1 /* 2 bug-1294691.c 3 */ 4 5 #include <testfwk.h> 6 7 unsigned char x = 1; 8 unsigned char y = 5; 9 int ret; 10 11 12 void testBug(void)13testBug(void) 14 { 15 ret = 1; 16 17 if (x) 18 { 19 if (y > 3) 20 { 21 if (y < 8) 22 { 23 } 24 } 25 else 26 { 27 } 28 } 29 else 30 { 31 ret = 0; 32 } 33 34 ASSERT(ret == 1); 35 } 36