GCC 14 kompilaatorikomplekti väljalase

Pärast aastast arendustööd on välja antud tasuta GCC 14.1 kompilaatorikomplekt, mis on esimene oluline väljalase uues GCC 14.x harus. Uue väljalaske nummerdamisskeemi järgi kasutati arenduse käigus versiooni 14.0 ja veidi enne GCC 14.1 väljaandmist oli juba hargnemine GCC 15.0 haru, millest moodustub järgmine oluline GCC 15.1 väljalase.

Peamised muudatused:

• Oluliselt on laiendatud C-keele koodi staatilise analüüsi võimalusi, mis on saadaval valiku "-fanalyzer" kaudu (C++ keele staatilist analüüsi pole veel õigesse vormi viidud). Tugevdatud on stringidega tehtavate toimingute analüüsi ja stringi lõpetava nullmärgi olemasolu kontrollimist. Lisatud uus hoiatus "-Wanalyzer-infinite-loop", et tuvastada lõpmatu arv silmuseid. Lisatud rida "-Wanalyzer-tainted-*" hoiatusi, et tuvastada sisendi valideerimisega seotud probleeme. Hoiatust "-Wanalyzer-out-of-bounds" on täiustatud, et tuvastada puhvri ületäitumist, näiteks on lisatud võimalus kuvada diagrammi, mis visualiseerib ületäitumiseni viivat olekut.
• Lisati uus ehitussuvand "—enable-host-pie" kompilaatori käivitatavate failide loomiseks režiimis PIE (Position Independent Executable) ning suvand "—enable-host-bind-now" sidumiseks suvanditega "-Wl" , -z, nüüd."
• Lisatud uus valik "-fhardened", mis sisaldab turvalisuse suurendamiseks lippe (-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 suvand "-fharden-control-flow-redundancy", et lisada koodifunktsioone, et tuvastada teatud määratlemata käitumise vorme, mis võivad potentsiaalselt viia juhtimisvoogu, mille põhjustavad ärakasutamine, mis modifitseerivad mällu salvestatud funktsiooninäitajaid ja viivad juhtimise üle funktsioonide keskele.
• Lisatud uus "hardbool" tüüpi atribuut, mis võimaldab alistada tõese ja vale atribuutidega seotud väärtused, et muuta teatud tüüpi rünnakud keerulisemaks.
• Lisati uus strub-tüüpi atribuut, et juhtida funktsiooni ja muutuja andmetega virnaraamide tühjendamist pärast funktsiooni väljumist või erandi tegemist.
• Lisatud suvand -finline-stringops, et võimaldada funktsioonide memcmp, memcpy, memmove ja memset laiendamist, isegi kui seda pole optimeerimiseks vaja.
• Lisati uus funktsiooniatribuut null_terminated_string_arg(PARAM_IDX), et märkida parameetreid, mida tuleks käsitleda nulllõpuga stringidena.
• Vektoriseade toetab "break" avaldisi sisaldavate tsüklite vektoriseerimist.
• Lisati esialgne tugi OpenMP 6.0 (Open Multi-Processing) spetsifikatsiooni eelversioonile ja OpenMP 5.0, 5.1 ja 5.2 standardite jätkuv juurutamine, mis määratlevad API-d ja meetodid paralleelsete programmeerimismeetodite rakendamiseks mitmetuumalisel ja hübriidsel (CPU+). GPU/DSP) süsteemid, millel on jagatud mälu ja blokeeritud vektoriseerimine (SIMD).
• OpenACC 2.7 ja 3.2 paralleelse programmeerimise spetsifikatsioonide täiustatud rakendamine, mis määratlevad tööriistad GPU-de ja spetsiaalsete protsessorite (nt NVIDIA PTX) toimingute mahalaadimiseks.
• C, C++ ja Objective-C puhul on juurutatud Clangis kasutatavate laienduste “__has_feature” ja “__has_extension” tugi.
• Rakendatakse tulevases C-standardis C23 määratletud funktsioone, nagu tüübid “_BitInt (N)” ja “signed _BitInt (N))”. Struktuure, liite ja loendeid on lubatud määratleda rohkem kui üks kord samas ulatuses, mis on nähtavad sama sisu ja korduva sildiga. Lisatud on päisefaili stdckdint.h tugi. C23 elementide toe lubamiseks soovitatakse kasutada lippe "-std=c23", "-std=gnu23" ja "-Wc11-c23-compat".
• C-keele jaoks on lisatud väljend “#pragma GCC novector”, mis keelab annoteeritud silmuste vektoriseerimise.
• Lisatud C++23 standardiga seotud funktsioonid. Lisatud on tugi mehhanismile “Selle tuletamine”, mis võimaldab mallis kasutada parameetreid atribuudiga “this” ja võimaldab klassifunktsioonist välja selgitada avaldise kategooria (näiteks kas tegemist on konstandiga ), mille jaoks seda funktsiooni kutsutakse. Rakendatud on nõue, mille kohaselt muutuvad kõik consteval atribuudiga funktsioone kutsuvad funktsioonid ka consteval, s.t. täidetakse koostamise ajal. Mõned "constexpri" nõuded on leevendatud.
• Lisatud tulevase C++2c (C++26) standardiga seotud funktsioonid. Näiteks on võimalik kasutada stringi literaale kontekstis, kus neid ei kasutata märgimassiivi initsialiseerimiseks ja need ei satu tekkivasse koodi, vaid neid kasutatakse ainult kompileerimise ajal diagnostikateadete ja eeltöötluse jaoks. Lisati võimalus kasutada ühes ulatuses mitut kohatäite muutujat nimega "_". Loendatud väärtuste kaudsed teisendused aritmeetilistes arvutustes on aegunud.
• libstdc++ toetab C++20, C++23 ja C++26 standardeid.
• Fortrani kompilaatoris on alustatud tööd Fortran 2023 standardi (-std=f2023) toetamisega.
• GCC laienduse tugi, mis võimaldab teil määrata paindliku massiivielemendi (määramatu suurusega massiiv, näiteks "int b[]"), mis ei ole struktuuri lõpus (paindlikud massiivi liikmed), on aegunud. Määramatu suurusega massiivi saab siis kasutada ainult struktuuri lõpus.
• AArch64 arhitektuuri taustaprogramm toetab CPU Ampere-1B (ampere1b), Arm Cortex-A520 (cortex-a520), Arm Cortex-A720 (cortex-a720), Arm Cortex-X4 (cortex-x4) ja Microsoft Cobalt-100 ( koobalt-100). Suvandite "-mcpu=" ja "-mtune=" jaoks on lisatud uued üldised protsessori identifikaatorid, generic-armv8-a ja generic-armv9-a. Lisatud tugi Arm SME ja SME2 (Streaming Matrix Extensions) jaoks. Rakendatud AArch64 arhitektuurispetsiifilised optimeerimised.
• ARM-arhitektuuri taustaprogrammi on lisatud Cortex-M52 protsessorite tugi (cortex-m52 suvandites “-mcpu=” ja “-mtune=”).
• AMD Radeoni GPU-de (GCN) koodi genereerimise taustaprogramm toetab AMD Radeon gfx90c (GCN5), gfx1030, gfx1036 (RDNA2), gfx1100 ja gfx1103 (RDNA3) GPU-sid. Parem jõudlus AMD MI100 ja MI200 seeria seadmete jaoks. Vaikimisi on gfx900 (Vega) seadme arhitektuur aktiveeritud.
• Tugi Intel AVX86, Intel APX (osaline), Intel AVX-VNNI-INT10.1, Intel SHA16, Intel SM512, Intel SM3, Intel USER_MSR käsukomplekti arhitektuurilaiendustele on lisatud x4 arhitektuuri taustaprogrammi.

  Lisatud on tugi Zen 5 tuumal (-march=znver5) põhinevatele AMD protsessoritele, samuti Intel Clearwater Forestile (-march=clearwaterforest), Arrow Lake'ile (-march=arrowlake), Arrow Lake S-ile (-march=arrowlake-s) ) protsessorid, Lunar Lake (-march=lunarlake) ja Panther Lake (-march=pantherlake). 512-bitiste vektorite kasutamise juhtimiseks on lisatud valik "-m[no-]evex512" (vaikimisi lubatud AVX512F toetamisel. Intel Xeon Phi protsessori tugi on aegunud.
• Laiendatud on LoongArchi, AVR ja RISC-V platvormide taustaprogrammi võimalusi.
• Laiendatud on JSON-il põhineva SARIF-vormingus diagnostilise väljundi võimalusi. SARIF-vormingut saab kasutada staatilise analüüsi tulemuste saamiseks (GCC -fanalyzer), samuti hoiatuste ja veateabe saamiseks.
• Intel Itaniumi ja Nios II protsessorites kasutatavate ia64 ja nios2 sihtarhitektuuride tugi on aegunud ja see eemaldatakse järgmises GCC väljaandes.

Allikas: opennet.ru