1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O -ftrapv" } */
       3  
       4  int
       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  }