xref: /src/external/mit/isl/dist/test_inputs/codegen/cloog/basic-bounds-5.c

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