tests/unsigned_break1.c

   1 void foo()
   2 {
   3         unsigned char k;
   4         int a;
   5
   6 #pragma scop
   7         for (k = 252; (k % 9) <= 5; ++k) {
   8                 a = 5;
   9                 if (k == 1)
  10                         break;
  11                 a = 6;
  12         }
  13 #pragma endscop
  14 }