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)13 testBug(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