Критическая ошибка в среде программирования Овен ЛОДЖИК или это я д-ак

[pop70]

Результат используется в нескольких местах (из "константы" выходят две связи), и вполне логично, что компилятор сохранил этот самый результат в промежуточную переменную.
Могла бы эта переменная соптимизироваться? Могла. Но эта оптимизация повлияла бы лишь на скорость работы.
А скорость работы сейчас всех устраивает.

Согласен насчёт промежуточной переменной, но в любом случае, она должна была посчитаться до того, как использоваться в расчёте. Т.е., любое дерево должно дойти до самого дальнего узла - до константы, если она не "обрублена" уже посчитанной промежуточной переменной.

[pop70]

Похоже, вы не поняли сущность бага: значение, к которому подключено несколько связей, сохраняется во вспомогательную переменную.
Поэтому не так важно что находится на входе, а будет использовано именно значение из вспомогательной переменной.

То же самое будет и в любом другом вычислении. Надо просто результат вычисления подключить двумя связями (простой и ЛЗ) и можно получить баг (в зависимости от указанного приоритета ЛЗ).

Приоритет ЛЗ тут никаким боком вообще.
Эдак и приоритет выходов может привести к тому, что в расчёте будет использована "промежуточная переменная", которую ещё никто не посчитал.
А эта "промежуточная переменная" должна быть посчитана при первом же проходе через неё, не важно с какой стороны разветвления расчёт к ней пришёл.

[wal79]

Так вам показали же лог: Вложение 32565
Переменная №3 это и есть "хранилище, которое используется для того, чтобы подать 1 на вход XOR'а".
В логе видно, что ОЛ почему-то пыталось "поместить значение константы в переменную 3" уже намного позже вычисления самого XOR'а (XOR обрабатывал переменную 4=="линия задержки" и переменную 3=="простая связь" ).

ЛЗ к этой самой "переменной 3" (надеюсь) никак не относится.


Это всё, конечно, красивые рассуждения про "космические карабли", но точно такой же баг может образоваться и без констант.
Поэтому баг нужно исправлять не "починкой констант", а починкой самого компилятора, который допустил use-before-def.

Вот тот же самый баг без констант:
Вложение 32570

Вы все верно уловили. Понял в чем проблема. Когда- то ЛЗ (тогда еще обратная связь) была выделена в особую группу анализа.Вот тут и кроется проблема.компилятор уже давно был усовершенствован, а анализ лз - нет. Пишу с мобилы не очень удобно расписывать.

[pop70]

Ну и ладно. Вам Ваша логика виднее. Почему она вдруг завязалась на ЛЗ и их приоритеты, мне не понять.
Как и назначение переменной какой-либо связи. Главное - исправить.

[wal79]

Ну и ладно. Вам Ваша логика виднее. Почему она вдруг завязалась на ЛЗ и их приоритеты, мне не понять.
Как и назначение переменной какой-либо связи. Главное - исправить.

Да конечно, будет исправлено. В этот хотфикс она уже не попадет, будет в следующем.