1 
2 unsigned char a = 6;
3 int b, c;
4 
5 static void
fn1()6 fn1 ()
7 {
8   int i = a > 1 ? 1 : a, j = 6 & (c = a && (b = a));
9   int d = 0, e = a, f = ~c, g = b || a;
10   unsigned char h = ~a;
11   if (a)
12     f = j;
13   if (h && g)
14     d = a;
15   i = -~(f * d * h) + c && (e || i) ^ f;
16   if (i != 1)
17     __builtin_abort ();
18 }
19 
20 int
main()21 main ()
22 {
23   fn1 ();
24   return 0;
25 }
26