Fix http://gcc.gnu.org/PR42181 correct cloog_domain_sort.

[cloog-ppl.git] / test / merge.c.ppl

/* Generated from ./merge.cloog by CLooG 0.15 64 bits in 0.00s. */
for (c1=0;c1<=10;c1++) {
  if (c1 == 0) {
    S1(i = 0) ;
  }
  if (c1 >= 2) {
    S2(i = c1) ;
  }
  S3(i = c1) ;
}