[Safec-announce] Выход safe-13.2, Changelog, -Wextra-array-bounds

Выход safe-13.2 =============== Вышли первые релизы safe-13.2 — ветки безопасного компилятора SAFEC на основе GCC 13.2. Веб-сайт безопасного компилятора, Changelog =========================================== У безопасного компилятора появился веб-сайт, где мы публикуем актуальную документацию и подробную информацию о релизах. Также запланирован раздел FAQ. Эта рассылка дополняет сайт: он накапливает всю информацию, а сообщения в рассылке оповещают о ключевых обновлениях. https://safecompiler.pages.ispras.ru/ Журнал изменений (Changelog) для всех веток SAFEC доступен по адресу https://safecompiler.pages.ispras.ru/changelog/gcc/ Он позволяет увидеть, какие логические изменения произошли между версиями, на какие ветки изменения уже портированы и когда, на какие ветки ожидается порт. Изменения до начала ведения журнала изменений для SAFEC не отражены на этой странице. Представление об изменениях относительно базовой версии GCC можно получить из краткого руководства пользователя (README, раздел «Документация» на сайте). Смягчение -Warray-bounds, новая опция -Wextra-array-bounds ========================================================== Предупреждения, контролируемые опцией -Warray-bounds в прошлых версиях безопасного компилятора, разбиты на две группы. Часть предупреждений вынесена под опцию -Wextra-array-bounds. Первая группа теперь включает только срабатывания -Warray-bounds компилятора GCC соответствующей версии. Поведение, контролируемое опцией -Warray-bounds безопасного компилятора, приведено в соответствие с одноимённой опцией GCC. Во вторую группу вынесены дополнительные срабатывания, реализованные ранее в безопасном компиляторе. Для управления предупреждениями второй группы добавлена опция -Wextra-array-bounds. Предупреждения, контролируемые новой опцией, по-прежнему включены в набор предупреждений -Safe3 и более высоких классов защищённости. Однако теперь они не приводят к остановке трансляции, если опция -Werror=extra-array-bounds не указана явно. https://safecompiler.pages.ispras.ru/changelog/gcc/#add-wextra-array-bounds