test_inputs/codegen/separation_class3.c

   1 for (int c0 = 0; c0 <= 4; c0 += 1) {
   2   if (c0 >= 1) {
   3     S_0(2 * c0 - 1, 1);
   4     if (c0 == 4)
   5       for (int c6 = 3; c6 <= 5; c6 += 1)
   6         S_0(7, c6);
   7     if (c0 <= 3)
   8       for (int c4 = 2 * c0 - 1; c4 <= 2 * c0; c4 += 1)
   9         for (int c6 = -2 * c0 + c4 + 4; c6 <= 2 * c0 - c4 + 4; c6 += 1)
  10           S_0(c4, c6);
  11   } else
  12     S_0(0, 4);
  13   for (int c4 = max(0, 2 * c0 - 1); c4 <= min(2 * c0, 7); c4 += 1)
  14     for (int c6 = -2 * c0 + c4 + 8; c6 <= 8; c6 += 1)
  15       S_0(c4, c6);
  16   if (c0 >= 1 && c0 <= 3) {
  17     for (int c2 = 0; c2 <= 1; c2 += 1)
  18       for (int c4 = 2 * c0 - 1; c4 <= 2 * c0; c4 += 1)
  19         for (int c6 = 2 * c0 + 4 * c2 - c4 + 1; c6 <= -2 * c0 + 4 * c2 + c4 + 3; c6 += 1)
  20           S_0(c4, c6);
  21   } else if (c0 == 4) {
  22     for (int c2 = 0; c2 <= 1; c2 += 1)
  23       S_0(7, 4 * c2 + 2);
  24   } else
  25     for (int c2 = 0; c2 <= 1; c2 += 1)
  26       for (int c6 = 4 * c2 + 1; c6 <= 4 * c2 + 3; c6 += 1)
  27         S_0(0, c6);
  28 }