1  /* { dg-do compile } */
       2  
       3  int a, c;
       4  
       5  void f(void)
       6  {
       7    unsigned char b;
       8  
       9    if(a)
      10      {
      11        for(; b < 1; b++);
      12  lbl1:
      13        c = (b |= 0) ^ (b || a);
      14      }
      15  
      16    if((a = b))
      17      {
      18        b = c;
      19        goto lbl1;
      20      }
      21  
      22    b = 5;
      23    goto lbl1;
      24  }