prolog-analyzer: Построение совокупности инициализированных индексов

[m-michurov]

Учитывать случаи, когда циклы перекрываются и таким образом дают нужный шаг, например: (В другой задаче)

for i = 0..5 { init(x[4 * i]); } // -> 0, 4, 8, 12, 16, 20
for i = 0..5 { init(x[2 + 4 * i]); } // 2, 6, 10, 14, 18, 22

for i = 0..11 { use(x[2 * i]); } // -> 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22

[m-michurov]

• [x] Учитывать условия циклов

[m-michurov]

• [x] Строить совокупность одиночных инициализаций (возможно, диапазонов тоже) с учетом шага цикла использования

[m-michurov]

• [x] Рассматривать разные варианты построения совокупности?

[m-michurov]

• [x] Объединять диапазоны с пересечением чтобы не выводить лишних ошибок