introduce pet_function_summary
[pet.git] / tests / shortcut2.c
blob6cec7bc6deaf3bab30a2cd2d5e1e7f66834318e4
1 void foo(int N)
3 int a;
4 #pragma scop
5 if (5 * N > 0 && N < 100)
6 a = 1;
7 #pragma endscop