PetScan: allow label on any statement
[pet.git] / tests / struct9.c
blob25e832c26b041d8e8fd3b129cf3fc6bf287bcd95
1 void f1(int a);
2 void f2(int a[40]);
3 void f3(int a[30][40]);
5 struct s {
6 int a[30][40];
7 };
9 void foo()
11 struct s s[10][20];
13 #pragma scop
14 for (int i = 0; i < 10; ++i)
15 for (int j = 0; j < 20; ++j)
16 for (int k = 0; k < 30; ++k)
17 for (int l = 0; l < 40; ++l) {
18 f1(s[i][j].a[k][l]);
19 f2(s[i][j].a[k]);
20 f3(s[i][j].a);
22 #pragma endscop