tests/unsigned2.c

   1 int main()
   2 {
   3         unsigned char k;
   4         int a;
   5
   6 #pragma scop
   7         for (k = 252; (k % 9) <= 5; ++k)
   8                 a = 5;
   9 #pragma endscop
  10 }