PetScan: allow label on any statement
[pet.git] / tests / forward_substitution4.c
blobb54d8178d7c6f490e4222dcb5b872b0866db6b2e
1 void foo(int N)
3 int a[10], b, c;
4 #pragma scop
5 c = 1;
6 if (N == 2)
7 c = 2;
8 a[c] = 5;
9 #pragma endscop