1  
       2  unsigned char a = 6;
       3  int b, c;
       4  
       5  static void
       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
      21  main ()
      22  {
      23    fn1 ();
      24    return 0; 
      25  }