GCC 14 kompilaatorite komplekti väljaanne

Pärast aasta arendust on avaldatud vaba GCC 14.1 kompilaatorite komplekti väljaanne, mis on esimene märkimisväärne väljaanne uues GCC 14.x harus. Uue versioonide numbreerimise skeemi kohaselt kasutati arenduse käigus versiooni 14.0, ning just enne GCC 14.1 väljalaskmist hargnes juba GCC 15.0 haru, mille põhjal kujundatakse järgmine märkimisväärne väljaanne GCC 15.1.

Peamised muudatused:

• C keele staatilise koodi analüüsi võimalusi on oluliselt laiendatud, kasutades valikut „-fanalyzer“ (C++ jaoks ei ole staatilise analüüsi võimalusi veel piisavalt arendatud). Rõhku on pandud stringide toimingute analüüsile ja stringi lõpus oleva nullmärgi olemasolu kontrollimisele. Uus hoiatus „-Wanalyzer-infinite-loop“ on lisatud igaveseks tsüklite tuvastamiseks. Hoiatuste seeria „-Wanalyzer-tainted-*“ on lisatud sisendi kontrollimise probleemide tuvastamiseks. Hoiatuse „-Wanalyzer-out-of-bounds“ võimalusi on laiendatud, et tuvastada puhverülevähenemist, sealhulgas on lisatud diagrammi kuvamine, mis visualiseerib riigi, mis viib üleujutamiseni.
• Lisatud uus kogumise valik «—enable-host-pie», mis lubab kompilaatori täitmisfailide kogumist PIE (Position Independent Executable) režiimis, samuti valik «—enable-host-bind-now» sidumise jaoks valikute «-Wl,-z,now» abil.
• Lisatud uus valik «-fhardened», mis aktiveerib kaitseparameetrid (-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).
• Lisatud valik «-fharden-control-flow-redundancy», mis lisab funktsioonide lõppu koodi, et tuvastada teatud kujul määramatust käitumisest, mis võib potentsiaalselt rikkuda normaalset täitmise järjekorda (control flow) exploitide toimel, mis muudavad mälus hoitavaid funktsiooni näitajaid ja suunavad kontrolli funktsioonide keskele.
• Lisatud uus tüüpide atribuut «hardbool», mis võimaldab üle kirjutada väärtused, mis on seotud true ja false tunnustega, et raskendada teatud tüüpi rünnakute sooritamist.
• Lisatud uus tüüpide atribuut strub, mis haldab funktsioonide ja muutujate kuhi nullimise andmeid pärast funktsiooni lõpetamist või erandi toimumist.
• Lisaud võimalus -finline-stringops inline-funktsioonide memcmp, memcpy, memmove ja memset avamiseks, isegi kui see pole optimeerimise jaoks vajalik.
• Lisatud uus atribuut null_terminated_string_arg(PARAM_IDX) funktsioonidele, et märkida parameetreid, mida tuleb tõlgendada kui nullmärgiga lõppevaid stringe.
• Vektorisatsioonis on rakendatud toimetuste vektorisatsiooni, mis sisaldavad 'break' väljendeid.
• Lisatud algtoetus OpenMP 6.0 eelversiooni spetsifikatsioonile (Open Multi-Processing) ning jätkatud OpenMP 5.0, 5.1 ja 5.2 standardite rakendamist, mis määratlevad API-d ja meetodite kasutamise viise paralleelse programmeerimise rakendamiseks mitme südamiku ja hübriidsete (CPU+GPU/DSP) süsteemide puhul, mis kasutavad ühismälu ja vektorisatsiooni plokke (SIMD).
• Parandatud OpenACC 2.7 ja 3.2 paralleelse programmeerimise spetsifikatsioonide rakendust, mis määratlevad vahendeid operatsioonide GPU-le ja spetsialiseeritud protsessoritele, nagu NVIDIA PTX, edasiviimiseks.
• C, C++ ja Objective-C jaoks on rakendatud laienduste toimetuste toetamist '.__has_feature' ja '.__has_extension', mis on rakendatud Clangis.
• On ellu tulevas C-standardi C23 määratud võimalused, nagu tüübid „_BitInt (N)” ja „unsigned _BitInt (N)”. Struktuure, liite ja loendeid on lubatud määrata rohkem kui üks kord ühes nähtavas alas sama sisu ja korduva sildiga. Lisatud tugi pealkirjale stdckdint.h. C23 elementide toe lubamiseks on ettepanekud lipud „-std=c23”, „-std=gnu23” ja „-Wc11-c23-compat”.
• C keele jaoks on lisatud väljend „#pragma GCC novector”, mis keelab tähistuslike silmade vektoreerimise.
• On lisatud võimalused, mis on seotud standardiga C++23. Lisatud tugi mehanismile „Deducing this”, mis võimaldab malli parameetritel, millel on tunnus „this”, ja annab võimaluse klassi funktsioonist teada saada, mis kategoorias väljend (näiteks kas see on konstant) on, mille jaoks see funktsioon on kutsutud. Rakendatud on nõue, et kõik funktsioonid, mis kutsuvad esile funktsioone, millel on tunnus consteval, muutuvad samuti consteval, st need täidetakse kompileerimise ajal. Mõningaid nõudeid „constexpr” on leevendatud.
• Lisatud tulevase C++2с (C++26) standardiga seotud võimalused. Näiteks on nüüd võimalik kasutada stringliterale kontekstis, kus neid ei kasutata sümbolite massiivi initsialiseerimiseks ja nad ei jõua lõppkoodi, vaid neid kasutatakse ainult kompileerimisel diagnostiliste sõnumite ja eelprotsessimise jaoks. Samuti on lisatud võimalus kasutada mitut muutuja täitjat nimega „_” ühes ulatuses. Loetud vananenuks on muutunud automaatne enum-tüüpide aritmeetiliste arvutuste tükeldamine.
• Libstdc++-s on parandatud C++20, C++23 ja C++26 standardite toetust.
• Fortran keele kompilaatoris on alustatud Fortran 2023 standardi toetamisega (-std=f2023).
• GCC laienduse tugi, mis võimaldab määrata paindlikke massiivi elemente (määratlemata suurusega massiiv, nagu „int b[]”), ei ole enam toetatav, kui need ei ole struktuuri lõpus. Edasi on määratlemata suurusega massiive võimalik kasutada ainult struktuuri lõpus.
• AArch64 arhitektuuri tagaplaanis on rakendatud toetamist CPU Ampere-1B (ampere1b), Arm Cortex-A520 (cortex-a520), Arm Cortex-A720 (cortex-a720), Arm Cortex-X4 (cortex-x4) ja Microsoft Cobalt-100 (cobalt-100). Uued CPU üldised, generic-armv8-a ja generic-armv9-a identifikaatorid on lisatud valikutesse «-mcpu=» ja «-mtune=». Lisatud on tugi Arm SME ja SME2 (Streaming Matrix Extensions) laiendustele. Spetsiifilised optimiseerimised AArch64 arhitektuurile on samuti rakendatud.
• ARM arhitektuuri tagaplaanis on lisatud tugi CPU Cortex-M52 (cortex-m52 valikutes «-mcpu=» ja «-mtune=»).
• GPU AMD Radeon (GCN) koodi genereerimise tagaplaanis on rakendatud tugi GPU AMD Radeon gfx90c (GCN5), gfx1030, gfx1036 (RDNA2), gfx1100 ja gfx1103 (RDNA3). Tõhustatud on jõudlust AMD MI100 ja MI200 seeria seadmetele. Vaikimisi on aktiveeritud arhitektuur gfx900 (Vega).
• x86 arhitektuuri tagaplaanis on lisatud tugi Intel AVX10.1 arhitektuuri käsukomplekti laiendustele, Intel APX (osaliselt), Intel AVX-VNNI-INT16, Intel SHA512, Intel SM3, Intel SM4 ja Intel USER_MSR.

  Lisatud toetus AMD Zen 5 arhitektuuriga CPU-de jaoks (-march=znver5), samuti Intel Clearwater Forest (-march=clearwaterforest), Arrow Lake (-march=arrowlake), Arrow Lake S (-march=arrowlake-s), Lunar Lake (-march=lunarlake) ja Panther Lake (-march=pantherlake) protsessorite jaoks. Lisatud valik „-m[no-]evex512”, et juhtida 512-bitiste vektorite kasutamist (vaikimisi on aktiveeritud AVX512F toega). Intel Xeon Phi protsessorite tugi on kuulutatud aegunuks.
• LoongArch, AVR ja RISC-V platvormide taustsüsteemide võimalusi on laiendatud.
• Diagnostikalogide väljundi võimalusi on laiendatud SARIF-formaadis, mis põhineb JSON-il. SARIF-formaati saab kasutada staatilise analüüsi tulemuste (GCC -fanalyzer) ja hoiatuste ning vigade andmete saamiseks.
• Sihtarhitektuuride ia64 ja nios2 tugi, mida kasutatakse Intel Itanium ja Nios II protsessorites, on muudetud aegunuks ja eemaldatakse järgmises GCC väljaandes.

Allikas: opennet.ru