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; val <= i; i+=16)
      11      cnt++;
      12    return cnt;
      13  }
      14  
      15  void test_finite ()
      16  {
      17    unsigned n = foo (16, UINT_MAX - 32);
      18    if (n != 3)
      19      __builtin_abort ();
      20  }
      21  
      22  void test_infinite ()
      23  {
      24   foo (15, UINT_MAX - 32);
      25  }