1  /* { dg-do compile } */
       2  /* { dg-options "-O3" } */
       3  
       4  void
       5  a ()
       6  {
       7    unsigned _Accum b;
       8    for (b = 0.1; b; b += 0.1uk)
       9      {
      10        _Sat unsigned _Accum b;
      11        for (b = 0; b <= 0.8; b = 0.1)
      12  	;
      13      }
      14  }