PetScan::get_array_size: cache results
[pet.git] / tests / if1.c
blob2fcefdb1d236fa50e1fc1774c979e037c9f52f01
1 void foo()
3 int a;
5 #pragma scop
6 if (1 << 0)
7 a = 1;
8 #pragma endscop