Я это к тому, что если программист решит не выполнять best practices и пр., то это нормально, что где-то выстрелит в ногу. Поэтому добавлять фичи в плюсы вполне себе можно, главное, чтобы это можно было безопасно использовать при соблюдении некоторых правил

«You’re holding it wrong», это уже было :)

если не превратить в минное поле, то почему нет?

Ох, народу просто скучно, поскольку все компиляторы давно написаны :) Давайте тогда я вам задачку подкину из области анализа жизни переменных :)

можете пойти фиксить баги в gfortran

Есть очень красивая формулировка liveness-задачи в терминах языка Datalog.
Один уважаемый мной специалист в области PLT в своих лекциях представил код на Datalog для решения задачи.
Не уверен, что он проверял этот код. А вот у меня интерпретатор Даталога есть по рукой. И я попробовал -- а оно толком не работает.
Пришлось разбираться, исправлять. Теперь предлагаю вам обоснованно указать, какой из двух приведенных вариантов корректен :)

1)
live(X, I) <- use(X, I).
live(X, I) <- live(X, J), succ(I, J), ~def(X, I).

2)
live(X, I) <- use(X, I).
live(X, I) <- live(X, J), succ(J, I), ~def(X, I).

1)
live(X, I) <- use(X, I).
live(X, I) <- live(X, J), succ(I, J), ~def(X, I).

2)
live(X, I) <- use(X, I).
live(X, I) <- live(X, J), succ(J, I), ~def(X, I).

My guess - первая версия правильная

Так как live переменные надо в "обратную сторону" считать

Правильный ответ и разбор задачи будет?)

Будет :) Я еще покажу тот самый фрагмент из лекции:

Что можете сказать о приведенном фрагменте? :)

Ну он вроде как соответствует вашей второй версии

Да, Вы все правильно решили и разъяснили! Нам нужен вариант "переменная "жива" на позиции I если она "жива" на позиции I+1 ...".

Я так и знал, что решит эту задачу кто-нибудь из "молчунов" ;)

Хоть как-то знание даталога в жизни пригодилось 😅

1)
live(X, I) <- use(X, I).
live(X, I) <- live(X, J), succ(I, J), ~def(X, I).

2)
live(X, I) <- use(X, I).
live(X, I) <- live(X, J), succ(J, I), ~def(X, I).

А вы каким даталогом пользуетесь? Самописный?

Нет, я пользуюсь встроенным в Z3.

👍👍👍

Я хочу сесть и написать свой, чтобы разобраться уже как magic sets работают, но все времени нет (

Я тоже бы хотел. В Z3 очень неудобно получать результаты fixedpoint-решателя. Возвращается целое AST-дерево, которое приходится разбирать.