explicitly mark kill accesses
[pet.git] / tests / struct11.c
blobb704b1485c4d583064e932e5d43299b0d33e1c6a
1 struct s {
2 int a;
3 int b;
4 };
6 void foo(int A[10], struct s s)
8 #pragma scop
9 s.a = 0;
10 s.b = 1;
11 A[s.a] = 5;
12 #pragma endscop