scop.c: access_collect_params: avoid using access relation
[pet.git] / tests / assume2.c
blob9fcf3466b70d95fb68de94ece4b6bd166d9c18be
1 void foo(int n, int m)
3 #pragma scop
4 n = 5;
5 __pencil_assume(m > n);
6 #pragma endscop