tests/while_overflow.c

   1 int t(void);
   2 int f(void);
   3 int g(int);
   4
   5 void foo(int N)
   6 {
   7         int s;
   8         int v;
   9
  10 #pragma scop
  11         s = 0;
  12         while (t()) {
  13                 for (int i = 0; i < 2 * N; ++i)
  14                         s = s + 1;
  15         }
  16 #pragma endscop
  17 }