1  /* { dg-do run { target *-*-linux* *-*-gnu* *-*-uclinux* } } */
       2  /* { dg-options "-O3" } */
       3  #include <limits.h>
       4  #include "pr101145inf.inc"
       5  
       6  __attribute__ ((noinline))
       7  unsigned foo(unsigned val, unsigned start)
       8  {
       9    unsigned cnt = 0;
      10    for (unsigned i = start; i < val; i-=16)
      11      cnt++;
      12    return cnt;
      13  }
      14  
      15  void test_finite ()
      16  {
      17    foo (UINT_MAX - 15, 32);
      18  }
      19  
      20  void test_infinite ()
      21  {
      22    foo (UINT_MAX - 14, 32);
      23  }