explicitly mark kill accesses
[pet.git] / tests / unsigned1.c
blob6a9071d51a602ffaee897aceb3eb8d82fce551fc
1 void foo()
3 unsigned char i, j, k;
4 int a;
6 #pragma scop
7 for (i = 0; i < 200; ++i)
8 for (j = 0; j < 200; ++j)
9 for (k = 0; k < i + j; ++k)
10 a = 5;
11 #pragma endscop