| /* { dg-do run { target *-*-linux* *-*-gnu* *-*-uclinux* } } */ | |
| /* { dg-options "-O3" } */ | |
| #include <limits.h> | |
| #include "pr101145inf.inc" | |
| __attribute__ ((noinline)) | |
| unsigned foo(unsigned val, unsigned start) | |
| { | |
| unsigned cnt = 0; | |
| for (unsigned i = start; val <= i; i+=16) | |
| cnt++; | |
| return cnt; | |
| } | |
| void test_finite () | |
| { | |
| unsigned n = foo (16, UINT_MAX - 32); | |
| if (n != 3) | |
| __builtin_abort (); | |
| } | |
| void test_infinite () | |
| { | |
| foo (15, UINT_MAX - 32); | |
| } |