Глобальная оптимизация не вызывает функции INIT и FINAL

[Mazdaywik]

Проблема

Если исходная программа содержала функции INIT и FINAL, то после глобальной оптимизации (#255) они перестанут вызываться. Они переименуются в функции с суффиксами и рантайм их не увидит.

Решение

При склейке единиц трансляции находить в них функции с именами INIT и FINAL и строить новые функции INIT и FINAL объединённой единицы трансляции, которые вызывают имеющиеся.

Засада

Тонкость: что делать, если пользователь объявит entry-функцию именем INIT? Я пока не придумал приемлемого решения.

[Mazdaywik]

Приемлемое решение. Вызываемые функции переименовать в __INIT и __FINAL (или __Init и __Final для аналогии с __Step-Drop и др.), и для этих функций требовать отсутствия $ENTRY. Если таковая функция будет помечена как $ENTRY — ошибка компиляции.

Обоснование: в классическом Рефале-5 запрещены имена, начинающиеся на прочерк.

В текущей разрабатываемой версии можно поддерживать оба варианта написания, в следующей поддержку INIT и FINAL (без прочерков) убрать. Предупреждение -Winit-final-entry убрать тоже.

[Mazdaywik]

В текущей версии можно поддерживать только единственный, новый стиль именования функций. Инициализация и финализация используются только в Library.ref и нескольких автотестах (как раз проверяющих инициализацию и финализацию).

А предупреждение легко превращается в ошибку.