1 /* { dg-do compile } */
2 /* { dg-additional-options "-O -ftrapv" } */
3 
4 int
k5(int u5,int aw)5 k5 (int u5, int aw)
6 {
7   int v6;
8 
9   while (u5 < 1)
10     {
11       while (v6 < 4)
12 	++v6;
13 
14       v6 = 0;
15       aw += u5 > 0;
16       ++u5;
17     }
18 
19   return aw;
20 }
21