1if (P >= Q + 1 || Q >= P + 1)
2 for (int c0 = 0; c0 < N; c0 += 1)
3 S(c0);
4

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