PetScan::extract_argument: only perform write detection optionally
[pet.git] / tests / ternary.c
blob9b3be6d0fb55a35d9d2f671613bb891d1647c63c
1 int f(void);
3 void foo()
5 int i, j, a[100];
7 #pragma scop
8 for (i = 0; i < 100; ++i) {
9 j = f();
10 a[i] = j ? 40 : 90;
12 #pragma endscop