1  /* { dg-do run } */
       2  
       3  unsigned int a = 1;
       4  
       5  int
       6  fn1 ()
       7  {
       8    char b;
       9    for (;;)
      10      {
      11        for (b = 0; b < 5; b++)
      12  	if (!a - (unsigned int) b)
      13  	  return 0;
      14        a = 0;
      15      }
      16  }
      17  
      18  int
      19  main ()
      20  {
      21    fn1 ();
      22  
      23    if (a != 1) 
      24      __builtin_abort (); 
      25  
      26    return 0;
      27  }