tests/assume5.c

   1 int f(int k)
   2 {
   3         int a;
   4 #pragma scop
   5         __pencil_assume(k >= 0);
   6         k = -1;
   7         a = k % 16;
   8 #pragma endscop
   9         return a;
  10 }