1 /* { dg-do run } */
2 
3 unsigned int a = 1;
4 
5 int
fn1()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
main()19 main ()
20 {
21   fn1 ();
22 
23   if (a != 1)
24     __builtin_abort ();
25 
26   return 0;
27 }
28