1S1(-1);
2

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