break up access relations into may_read/may_write/must_write in interface
[pet.git] / tests / struct8.c
blob0bc49c4273c6faa85b6829e130e09cdad0e5be9f
1 struct s {
2 struct {
3 struct {
4 int a[10];
5 } f[10];
6 int b;
7 };
8 };
10 void foo()
12 struct s s;
14 #pragma scop
15 for (int i = 0; i < 10; ++i)
16 for (int j = 0; j < 10; ++j)
17 s.f[i].a[j] = i * j;
18 s.b = 1;
19 #pragma endscop