1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  int a, b, c;
       5  
       6  int fn1 (char e, char f)
       7  {
       8    return !f || (e && f == 1);
       9  }
      10  
      11  void fn2 (char e)
      12  {
      13    while (b)
      14      e = 0;
      15    a = 128;
      16    c = fn1 (e, a == e);
      17  }
      18  
      19  int main ()
      20  {
      21    fn2 (0);
      22    return 0;
      23  }