1for (int c0 = 0; c0 <= 10; c0 += 1) {
2 if (c0 <= 9)
3 a(c0);
4 if (c0 >= 1)
5 b(c0 - 1);
6}
7

source code of polly/lib/External/isl/test_inputs/codegen/atomic.c