1S1(1, floord(M + 1, 2));
2

source code of polly/lib/External/isl/test_inputs/codegen/cloog/basic-bounds-5.c