tests/inf4.c: use unsigned int for infinite loop iterator
[pet.git] / tests / unsigned_break2.c
blob093584d3a645060c29a9ff2f9d366d74efb52efb
1 int f();
3 void foo()
5 unsigned char k;
6 int a;
8 #pragma scop
9 for (k = 252; (k % 9) <= 5; ++k) {
10 if (k != 1)
11 a = 5;
12 if (f())
13 break;
14 a = k;
16 #pragma endscop