1if (M >= 0)
2 S1();
3

source code of polly/lib/External/isl/test_inputs/codegen/cloog/0D-2.c