Состоялся релиз первого стабильного выпуска свободного набора компиляторов GCC 14.1. Согласно схеме нумерации выпусков проекта, разработка версии GCC 14.0 началась в апреле 2023 года. В прошлом месяце была создана ветка GCC 15.0, на базе которой будет сформирован следующий значительный релиз GCC 15.1.
Согласно данным OpenNET, основные изменения и доработки в GCC 14.1:
значительно расширены возможности для статического анализа кода на языке Си, доступные через опцию «-fanalyzer» (статический анализ для языка С++ пока не доведён до должного вида). Усилен анализ операций со строками и проверка наличия завершающего строку нулевого символа. Добавлено новое предупреждение «-Wanalyzer-infinite-loop» для выявления бесконечных циклов. Добавлена серия предупреждений «-Wanalyzer-tainted-*» для выявления проблем с проверкой входных данных. Расширены возможности предупреждения «-Wanalyzer-out-of-bounds» для выявления переполнений буфера, например, добавлена возможность отображения диаграммы с визуализацией состояния, приводящего к переполнению;
добавлена новая сборочная опция «—enable-host-pie» для сборки исполняемых файлов компилятора в режиме PIE (Position Independent Executable), а также опция «—enable-host-bind-now» для связывания с опциями «-Wl,-z,now»;
добавлена новая опция «-fhardened», включающая флаги для усиления безопасности (-D_FORTIFY_SOURCE=3 -D_GLIBCXX_ASSERTIONS -ftrivial-auto-var-init=zero -fPIE -pie -Wl,-z,relro,-z,now -fstack-protector-strong -fstack-clash-protection -fcf-protection=full);
добавлена опция «-fharden-control-flow-redundancy» для добавления в конец функций кода для выявления некоторых форм неопределённого поведения, которые потенциально могут привести к нарушению нормального порядка выполнения (control flow) в результате применения эксплоитов, изменяющих хранимые в памяти указатели на функции и передающих управление в середину функций;
добавлен новый атрибут типов «hardbool», позволяющий переопределить значения, сопоставленные с признаками true и false для затруднения некоторых видов атак;
добавлен новый атрибут типов strub для управление обнулением кадров стека с данными функций и переменных после выхода из функции или срабатывания исключения;
добавлена опция -finline-stringops для включения inline-раскрытия функций memcmp, memcpy, memmove и memset, даже когда это не нужно для оптимизации;
добавлен новый атрибут функций null_terminated_string_arg(PARAM_IDX) для пометки параметров, которые следует трактовать как строки, заканчивающиеся нулевым символом;
в векторизаторе реализована поддержка векторизации циклов, содержащих выражения «break»;
добавлена начальная поддержка предварительной версии спецификации OpenMP 6.0 (Open Multi-Processing) и продолжена реализация стандартов OpenMP 5.0, 5.1 и 5.2, определяющих API и способы применения методов параллельного программирования на многоядерных и гибридных (CPU+GPU/DSP) системах с общей памятью и блоками векторизации (SIMD);
улучшена реализация спецификаций параллельного программирования OpenACC 2.7 и 3.2, определяющих средства для выноса операций (offloading) на GPU и специализированные процессоры, такие как Nvidia PTX;
для C, C++ и Objective-C реализована поддержка расширений «__has_feature» и «__has_extension», применяемых в Clang;
реализованы возможности, определённые в будущем Си-стандарте C23, такие как типы «_BitInt (N)» и «unsigned _BitInt (N))». Структуры, объединения и перечисления разрешено определять более одного раза в одной области видимым с одним и тем же содержимым и повторяющимся тегом. Добавлена поддержка заголовочного файла stdckdint.h. Для включения поддержки элементов C23 предложены флаги «-std=c23», «-std=gnu23» и «-Wc11-c23-compat»;
для языка Си добавлено выражение «#pragma GCC novector», отключающее векторизацию анотированных циклов;
добавлены возможности, связанные со стандартом C++23. Добавлена поддержка механизма «Deducing this», позволяющего использовать в шаблоне параметры с признаком «this» и дающего возможность из функции класса узнать категорию выражения (например, является ли константой), для которого эта функция вызвана. Реализовано требование, в соответствии с которым все функции, вызывающие функции с признаком consteval тоже становятся consteval, т.е. выполняются при компиляции. Ослаблены некоторые требования к «constexpr»;
добавлены возможности, связанные с будущим стандартом C++2с (C++26). Например, предоставлена возможность использования строковых литералов в контексте, в котором они не используются для инициализации массива символов и не попадают в результирующий код, а применяются только во время компиляции для диагностических сообщений и препроцессинга. Добавлена возможность использования сразу нескольких переменных-заполнителей с именем «_» в одной области видимости. Переведено в разряд устаревших выполнение неявных преобразований перечисляемых значений в арифметических вычислениях;
в libstdc++ улучшена поддержка стандартов C++20, C++23 и C++26;
в компиляторе для языка Fortran началась работа над поддержкой стандарта Fortran 2023 (-std=f2023);
объявлена устаревшей поддержка расширения GCC, позволяющего указывать гибкий элемент-массив (массив неопределённого размера, например, «int b[]») не в самом конце структуры (Flexible Array Members). Массив неопределённого размера в дальнейшем можно будет использовать только в конце структуры;
в бэкенде для архитектуры AArch64 реализована поддержка CPU Ampere-1B (ampere1b), Arm Cortex-A520 (cortex-a520), Arm Cortex-A720 (cortex-a720), Arm Cortex-X4 (cortex-x4) и Microsoft Cobalt-100 (cobalt-100). Для использования в опциях «-mcpu=» и «-mtune=» добавлены новые идентификаторы CPU generic, generic-armv8-a и generic-armv9-a. Добавлена поддержка расширений Arm SME и SME2 (Streaming Matrix Extensions). Реализованы специфичные для архитектуры AArch64 оптимизации;
в бэкенде для архитектуры ARM добавлена поддержка CPU Cortex-M52 (cortex-m52 в опциях «-mcpu=» и «-mtune=»);
в бэкенде генерации кода для GPU AMD Radeon (GCN) реализована поддержка GPU AMD Radeon gfx90c (GCN5), gfx1030, gfx1036 (RDNA2), gfx1100 и gfx1103 (RDNA3). Повышена производительность для устройств AMD серий MI100 и MI200. По умолчанию активирована архитектура устройств gfx900 (Vega);
в бэкенд для архитектуры x86 добавлена поддержка расширений архитектуры набора команд Intel AVX10.1, Intel APX (частично), Intel AVX-VNNI-INT16, Intel SHA512, Intel SM3, Intel SM4, Intel USER_MSR;
добавлена поддержка CPU AMD на базе ядра Zen 5 (-march=znver5), а также процессоров Intel Clearwater Forest (-march=clearwaterforest), Arrow Lake (-march=arrowlake), Arrow Lake S (-march=arrowlake-s), Lunar Lake (-march=lunarlake) и Panther Lake (-march=pantherlake). Добавлена опция «-m[no-]evex512» для управления задействованием 512-битных векторов (по умолчанию включается при поддержке AVX512F. Объявлена устаревшей поддержка CPU Intel Xeon Phi;
расширены возможности бэкендов для платформ LoongArch, AVR и RISC-V;
расширены возможности вывода диагностики в формате SARIF, основанном на JSON. Формат SARIF можно использовать для получения результатов статического анализа (GCC -fanalyzer), а также для получения сведений о предупреждениях и ошибках;
переведена в разряд устаревших и будет удалена в следующем релизе GCC поддержка целевых архитектур ia64 и nios2, применяемых в процессорах Intel Itanium и Nios II;
для кода на языке C, собираемом с выставлением стандартов новее C89, некоторые выведенные из стандарта С99 конструкции теперь приводят к выводу ошибок, а не предупреждений. Например, среди подобных возможностей неявное использование типа int (-Werror=implicit-int), обращение к необъявленным функциям (-Werror=implicit-function-declaration), неверные названия типов в объявлениях функций (-Werror=declaration-missing-parameter-type), некорректное использование выражения return (-Werror=return-mismatch), использование указателей как чисел (-Werror=int-conversion) и сочетание разных типов указателей (-Werror=incompatible-pointer-types).
Ожидается, что в GCC 15 будет прекращена поддержка процессоров Intel Xeon Phi, Intel Itanium IA64, NIOS2, Solaris 11.3, но появится поддержка Windows на ARM64 с помощью aarch64-w64-mingw32. Выпуск GCC 15.1 состоится примерно через год.
Источник: habr.com
