Пускане на компилаторния пакет GCC 13

След година на разработка беше пусната версията на безплатния компилатор GCC 13.1, първата значима версия в новия клон на GCC 13.x. Съгласно новата схема за номериране на версиите, версия 13.0 беше използвана по време на разработката и малко преди пускането на GCC 13.1, клонът GCC 14.0 вече беше раздвоен, от който ще бъде формирана следващата значима версия на GCC 14.1.

Основни промени:

• GCC прие интерфейс за изграждане на програми на езика за програмиране Modula-2. Той поддържа код за изграждане, който отговаря на диалектите PIM2, PIM3 и PIM4, както и на приетия ISO стандарт за този език.
• Фронтенд с внедряване на езиковия компилатор Rust, подготвен от проекта gccrs (GCC Rust), е добавен към дървото на изходния код на GCC. В текущия изглед forntend е маркиран като експериментален и деактивиран по подразбиране. След като интерфейсът е готов (очаква се в следващото издание), стандартният GCC инструментариум може да се използва за компилиране на Rust програми, без да е необходимо да инсталирате rustc компилатора, създаден с помощта на разработки на LLVM.
• Link-in-Step Optimization (LTO) добавя поддръжка за сървър за работа (jobserver), поддържан от проекта GNU make, за да оптимизира паралелното изпълнение на компилация в множество нишки. В GCC сървърът за работа се използва за паралелизиране на работата по време на LTO оптимизация в контекста на цялата програма (WPA, анализ на цялата програма). Наименуваните канали (--jobserver-style=fifo) се използват по подразбиране за комуникация със сървъра за работа.
• Статичният анализатор (-fanalyzer) предлага 20 нови диагностични проверки, включително "-Wanalyzer-out-of-bounds", "-Wanalyzer-allocation-size", "-Wanalyzer-deref-before-check", "-Wanalyzer- infinite -рекурсия" -Wanalyzer-jump-through-null", "-Wanalyzer-va-list-leak".
• Въведена е възможност за извеждане на диагностика във формат SARIF, базиран на JSON. Новият формат може да се използва за получаване на резултати от статичен анализ (GCC -fanalyzer), както и за получаване на информация за предупреждения и грешки. Активирането се извършва с опцията „-fdiagnostics-format=sarif-stderr|sarif-file|json-stderr|json|json-file“, където опциите с „json“ водят до изход в GCC-специфичен вариант на JSON формат .
• Внедрени са някои функции, дефинирани в стандарта C23 C, като константата nullptr за дефиниране на нулеви указатели, което улеснява използването на списъци с променлив брой аргументи (променливи), разширяване на възможностите на enums, атрибута noreturn, позволяващ използването на constexpr и auto при дефиниране на обекти, typeof и typeof_unqual, нови ключови думи alignas, alignof, bool, false, static_assert, thread_local и true, позволяващи празни скоби при инициализация.
• Внедрени са някои функции, дефинирани в стандарта C++23, като възможността за поставяне на маркировки в края на съставни изрази, съвместимост с типа char8_t, директивата за препроцесор #warning, ограничена от (\u{}, \o{} , \x{}) и наименувани ('\N{ЛАТИНИЦА ГЛАВНА БУКВА A}') последователности за екраниране, статичен оператор(), статичен оператор[], оператор за равенство в рамките на изрази, изключение от някои ограничения върху използването на constexpr, поддръжка за UTF-8 в изходните текстове.
• libstdc++ има подобрена експериментална поддръжка за стандарти C++20 и C++23, като добавяне на поддръжка на заглавен файл и std::format, разширени възможности за заглавен файл , добавени допълнителни типове с плаваща запетая, внедрени заглавни файлове И .
• Добавени са нови функционални атрибути за документиране, че файловият дескриптор се предава в целочислена променлива: "__attribute__((fd_arg(N)))", "__attribute__((fd_arg_read(N)))" и "__attribute__((fd_arg_write(N) )) ". Посочените атрибути могат да се използват в статичен анализатор (-fanalyzer) за откриване на неправилна работа с файлови дескриптори.
• Добавен е нов атрибут "__attribute__((assume(EXPR)))", с който можете да кажете на компилатора, че изразът е верен и компилаторът може да използва този факт, без да оценява израза.
• Добавен е флаг "-fstrict-flex-arrays=[level]" за избор на поведение при обработка на елемент от гъвкав масив в структури (членове на гъвкав масив, масив с неопределен размер в края на структурата, например "int b[] ").
• Добавен е флаг "-Wenum-int-mismatch" за издаване на предупреждения, ако има несъответствие между изброен тип и целочислен тип.
• Предният край на Fortran има пълна поддръжка за финализиране.
• Поддръжката на генерични функции и типове (generics) е добавена към предния край за езика Go и е осигурена съвместимост с пакети за езика Go 1.18.
• Бекендът на AArch64 поддържа CPU Ampere-1A (ampere1a), Arm Cortex-A715 (cortex-a715), Arm Cortex-X1C (cortex-x1c), Arm Cortex-X3 (cortex-x3) и Arm Neoverse V2 (neoverse -v2) . Поддръжка за аргументи "armv9.1-a", "armv9.2-a" и "armv9.3-a" е добавена към опцията "-march=". Добавена е поддръжка за процесорни разширения FEAT_LRCPC, FEAT_CSSC и FEAT_LSE2.
• Поддръжката на процесори STAR-MC1 (star-mc1), Arm Cortex-X1C (cortex-x1c) и Arm Cortex-M85 (cortex-m85) е добавена към бекенда на ARM архитектурата.
• Поддръжката за процесори Intel Raptor Lake, Meteor Lake, Sierra Forest, Grand Ridge, Emerald Rapids, Granite Rapids и AMD Zen 86 (znver4) е добавена към x4 бекенда. Разширенията на архитектурата на набора от инструкции AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT, CMPccXADD, AMX-FP16, PREFETCHI, RAO-INT и AMX-COMPLEX, предложени в процесорите на Intel, са внедрени. За C и C++ на системи със SSE2 е предоставен типът __bf16.
• Бекендът за генериране на код за графични процесори AMD Radeon (GCN) реализира възможността за използване на ускорители AMD Instinct MI200 за подобряване на производителността на OpenMP/OpenACC. Подобрена векторизация с помощта на SIMD инструкции.
• Значително разширени възможности на бекенда за платформата LoongArch.
• Добавена е поддръжка за XuanTie C906 на CPU T-Head (thead-c906) в бекенда на RISC-V. Реализирана поддръжка за манипулатори на вектори, дефинирани в спецификацията RISC-V Vector Extension Intrinsic 0.11. Добавена е поддръжка за 30 разширения на спецификацията на RISC-V.
• Когато генерирате споделени обекти с опцията „-shared“, кодът за стартиране вече не се добавя след добавяне на среда с плаваща запетая, ако оптимизациите „-Ofast“, „-ffast-math“ или „-funsafe-math-optimizations“ са активирани .
• Поддръжката на формата за отстраняване на грешки DWARF е внедрена в почти всички конфигурации.
• Добавена е опция "-gz=zstd" за компресиране на информация за отстраняване на грешки с помощта на алгоритъма Zstandard. Премахната поддръжка за остарелия режим на компресиране на информация за отстраняване на грешки "-gz=zlib-gnu".
• Добавена е първоначална поддръжка за OpenMP 5.2 (Open Multi-Processing) и продължава внедряването на стандартите OpenMP 5.0 и 5.1, дефинирайки API и методи за прилагане на методи за паралелно програмиране на многоядрени и хибридни (CPU + GPU / DSP) системи с споделена памет и единици за векторизация (SIMD).
• Отхвърлена поддръжка за наследения формат за съхранение на информация за отстраняване на грешки STABS (активиран с опциите -gstabs и -gxcoff), създаден през 1980 г. и използван в dbx дебъгера.
• Отхвърлена поддръжка за Solaris 11.3 (кодът за поддръжка на тази платформа ще бъде премахнат в бъдещо издание).

Източник: opennet.ru