pet_function_summary_dump: use isl_printer
[pet.git] / tests / tobi2.c
blob7944693b720269035a03fa1196613d66cd456b6b
1 #include <limits.h>
3 int main() {
4 unsigned int N = UINT_MAX;
5 unsigned int i;
6 int a;
8 #pragma scop
9 for (i = 0; i < 20 && i < N + 10; ++i)
10 a = 5;
11 #pragma endscop