tests/tobi2.c

   1 #include <limits.h>
   2
   3 int main() {
   4         unsigned int N = UINT_MAX;
   5         unsigned int i;
   6         int a;
   7
   8 #pragma scop
   9         for (i = 0; i < 20 && i < N + 10; ++i)
  10                 a = 5;
  11 #pragma endscop
  12 }
  13