1  /* PR tree-optimization/59413 */
       2  
       3  typedef unsigned int uint32_t;
       4  
       5  uint32_t a;
       6  int b;
       7  
       8  int
       9  main ()
      10  {
      11    uint32_t c;
      12    for (a = 7; a <= 1; a++)
      13      {
      14        char d = a;
      15        c = d;
      16        b = a == c;
      17      }
      18    if (a != 7)
      19      __builtin_abort ();
      20    return 0;
      21  }