Utgivningen av GCC 15-kompilatorpaketet.

Efter ett år av utveckling har den fria kompilatoruppsättningen GCC 15.1 släppts, den första betydande utgåvan i den nya GCC 15.x-grenen. Enligt versionsnummersteorin användes version 15.0 under utvecklingen, och kort innan GCC 15.1:s lansering hade gren GCC 16.0 redan skapats, på vilken nästa betydande release GCC 16.1 kommer att baseras.

Huvudsakliga förändringar:

• Vid kompilering av program på C-språket används standarden C23 som standard (ändringar översikt) med GNU-förlängningar ("-std=gnu23"). Tidigare användes standarden C17 som standard — "-std=gnu17". Ändringen kan potentiellt orsaka problem vid byggandet av befintliga projekt på grund av inkluderingen av konstanten nullptr, typen _BitInt(n) och nyckelorden bool, true och false som kan krocka med identifierare med samma namn angivna i applikationerna.
• Funktioner från C23-standarden har implementerats:
  • Direktivet "#embed" som används för att bädda in binärresurser i koden.
  • Attributet "unsequenced", som signalerar att resultatet inte beror på exekveringsordningen.
  • Attributet "reproducible", som anger att funktionen alltid returnerar samma resultat vid samma indatan, dvs. inte beror på andra faktorer.
• Element från den kommande standarden C2Y (-std=c2y och -std=gnu2y) har implementerats:
  • Möjligheten att deklarera variabler inuti "if"-satsen, till exempel "if (int x = get ()) {…}".
  • Stöd för att namnge loopar så att de kan refereras till i koden. outer: for (int i = 0; i < IK; ++ i) { switch (i) { case 1: break; // hoppar till CONT1 case 2: break outer; // hoppar till CONT2 } // CONT1 } // CONT2
  • Stöd för att ange intervall av heltal i "case"-uttryck, till exempel "case 1 … 10:".
  • Suffixen "i" och "j" för att indikera den imaginära delen i komplexa tal.
  • Möjligheten att använda operatörerna "++" och "—" med komplexa tal.
  • Konstruktionen "_Generic(type, expr1, expr2, …)" för att välja uttryck baserat på operandens typ.
  • Stöd för att referera till byte-arrayer som andra typer av objekt, såsom strukturer och unioner.
  • Stöd för att tillämpa operatören "alignof" på ofullständiga arrayer (deklarerade utan storleksangivelse, t.ex. "int a[]").
  • Ny syntax för oktala, hexadecimala och universella escape-sekvenser för tecken har lagts till. Istället för «\u», «\x» och «\nnn» erbjuds sekvenserna «\u{}», «\o{}» och «\x{}», som låter dig ange ett valfritt antal siffror.
  • Inbyggda funktioner «__builtin_stdc_rotate_left» och «__builtin_stdc_rotate_right».
  • Operationer med nollängd tillåts på NULL-pekare (t.ex. «sizeof(*p)»).
• I frontend för C++-språket har funktioner utvecklats för den framtida standarden C++26:
  • Variabeloperatören «friend» («friend Ts…»).
  • Möjligheten att använda nyckelordet «constexpr» med sorten av operatorn «new» (placement new) för att placera ett objekt i förhand tilldelad minne under kompilering.
  • Felmeddelande vid borttagning av en pekare till en ofullständig typ.
  • Syntaxen för att definiera variabla parametrar med tre prickar utan föregående kommatecken har förklarats som föråldrad (till exempel när det anges «void e(int…)» istället för «void e(int, …)»).
  • Indexering av parameterpaket i mallar.
  • Attribut för strukturerade bindningar;
  • Syntax ‘= delete(«orsak»)’;
  • Inkludering av «@», «$» och «`» i den basala uppsättningen av tecken.
  • Användning av makron för att deklarera moduler är förbjudet.
  • Möjlighet att använda strukturerad bindning som condition i if- och switch-uttalanden.
  • Stöd för direkt jämförelse av arrayer har upphört (t.ex. «int arr1[5]; int arr2[5]; bool same = arr1 == arr2»).
  • Mekanism «#embed» för att inkludera binära resurser.
  • Den mallklass is_trivial har förklarats som föråldrad.
• Funktioner för C++23 har lagts till:
  • Förbud mot vissa användningar av direktivet «export» och tillåtelse att använda «export {}».
  • Stöd för att förlänga livslängden för temporära objekt i «for»-loopar som itererar över områden.
• I libstdc++-biblioteket har experimentellt stöd för moduler std och std.compat införts.
• Användning av initialiseraren «{0}» för unioner i C- och C++-kod garanterar nu inte rensning av hela innehållet, utan sätter bara den första unionselementet till noll. För att rensa hela unionen bör uttrycket «{}» användas, vilket definieras i C23-specifikationen, eller ange alternativet «-fzero-init-padding-bits=unions» för att återfå det gamla beteendet.
• Stöd för attributet «musttail» ([[gnu::musttail]] och [[clang::musttail]]) har införts för garanterade svansanrop. Attributet tillämpas på return-uttryck där en rekursiv anrop av den aktuella funktionen görs, och garanterar att sådana anrop kommer att använda svansrekursion, vilket inte allokerar ytterligare minne på stacken (minimerar risken för minnesutarmning vid ett mycket stort antal anrop).
• Stöd för attributet flag_enum ([[gnu::flag_enum]] och [[clang::flag_enum]]) har implementerats, vilket tillämpas på uppräkningar för att indikera att innehållet används i bitoperationer (exkluderar varningsutskrift i läget "-Wswitch").
• Stöd för attributet "counted_by" har lagts till, som gör att man kan ange ett fält i en struktur med en flexibel array som definierar antalet element. Attributet kan användas för att öka effektiviteten i gränskontrollera.
• För funktioner har attributet "nonnull_if_nonzero" lagts till, vilket anger att vissa funktionsparameter med pekare kan vara NULL, endast om en annan parameter är noll.
• Användning av utökade assemblerinsättningar "asm (….)" utanför funktioner har tillåtits. I assemblerinsättningar är det tillåtet att skriva över minnet i den röda zonen av stacken (området högst upp på stacken).
• Kompilering av C++-kod har accelererats tack vare förbättrad hashning av mallar.
• Nya optimeringar har lagts till. Stöd för vektorisering av loopar där det finns kod för för tidig utgång (t.ex. genom anrop av break eller return), även om sådana loopar manipulerar dynamiskt allokerade arrayer eller buffertar vars storlek är okänd vid kompilering. Vektorisering av vissa lätt vektorisering loopar är aktiverad med alternativet "-O2", där information om antalet iterationer (tripcount) saknas.
• Ett läge för inkrementell optimering vid länkning (LTO, Link-Time Optimization) har lagts till, vilket avsevärt minskar tiden för omkompilering vid användning av LTO i situationer där små förändringar har gjorts i koden (en funktion har redigerats). För att aktivera det inkrementella läget föreslås alternativet "-flto-incremental".
• Kompileringen av mycket stora ingångsfiler har förbättrats. Spårning av kolumnnummer som överskrider 4096 har implementerats. Noggrannheten i att ange platsen för fel och varningar i mycket stora filer har ökat.
• Tydligheten i rapporter vid diagnostisering av problem har ökat. Till exempel är platsen för problemet framhävd med symbolen "⚠️", utformningen av utskriften har ändrats vid fel i C++-mallar, tips har lagts till för att förenkla övergången till standarden C23, och färgschemat har omarbetats. Möjlighet till diagnosutskrift i formatet Sarif (-fdiagnostics-format=sarif-file) har lagts till.
• Biblioteket libgdiagnostics har implementerats, vilket gör det möjligt att integrera GCC:s funktioner för formatering av diagnosmeddelanden i sina projekt (till exempel kan man använda verktyg för citat, syntaxmarkering och felrättningstips).
• Varningarna "-Wtrailing-whitespace" och "-Wleading-whitespace" har lagts till för att identifiera kvarvarande mellanslag i slutet av rader och överflödiga mellanslag i början av rader.
• Varningen "-Wheader-guard" har lagts till för att informera om problem med makron för skydd av headerfiler som förhindrar att samma headerfil inkluderas flera gånger.
• Frontend för språk D har uppdaterats till version 2.111.0.
• Frontend för språk Fortran har lagt till stöd för osignerade heltal.
• Kompilatorn för språket COBOL - gcobol, har inkluderats, och stödjer plattformar x86-64 och AArch64, och är inte avsedd för användning på 32-bitars system. Kompilatorn implementerar specifikationen ISO/IEC 1989:2023 och klarar de flesta testerna NIST CCVS/85.
• Implementeringen av standarderna OpenMP 5.0, 5.1, 5.2 och 6.0 (Open Multi-Processing), som definierar API och metoder för tillämpning av parallell programmering på flerprocessor- och hybrid (CPU+GPU/DSP) system med delad minne och vektorisering (SIMD), har fortsatt. Stöd för metadirektiv och konstruktioner som tile, unroll, interop och dispatch har lagts till. För vissa AMD- och NVIDIA-GPU:er har stöd för enhetligt delat minne lagts till (aktiveras genom att ange unified_shared_memory i direktivet "requires"). Stöd för uttrycket "self_maps" har lagts till.
• Backend för arkitekturen AArch64 har fått stöd för plattformen MinGW (aarch64-w64-mingw32). Mer än 20 ARM8-tillägg har implementerats och stödet för tillägget ACLE (Arm C Language Extensions) har förbättrats. Flera förbättringar har lagts till i kodgeneratorn. Stöd har lagts till för CPU:
  • Apple A12 (apple-a12)
  • Apple M1 (apple-m1)
  • Apple M2 (apple-m2)
  • Apple M3 (apple-m3)
  • Arm Cortex-A520AE (cortex-a520ae)
  • Arm Cortex-A720AE (cortex-a720ae)
  • Arm Cortex-A725 (cortex-a725)
  • Arm Cortex-R82AE (cortex-r82ae)
  • Arm Cortex-X925 (cortex-x925)
  • Arm Neoverse N3 (neoverse-n3)
  • Arm Neoverse V3 (neoverse-v3)
  • Arm Neoverse V3AE (neoverse-v3ae)
  • FUJITSU-MONAKA (fujitsu-monaka)
  • NVIDIA Grace (grace)
  • NVIDIA Olympus (olympus)
  • Qualcomm Oryon-1 (oryon-1)
• Backend för kodgenerering för GPU AMD Radeon (GCN) har implementerat stöd för biblioteket libstdc++ och lagt till experimentellt stöd för kodgenerering för enheter i serierna gfx9-generic, gfx10-3-generic och gfx11-generic.
• Backend för x86-arkitekturen har fått stöd för utvidgningar av Intel AVX10.2, AMX-AVX512, AMX-FP8, AMX-MOVRS, AMX-TF32, AMX-TRANSPOSE, MOVRS. Stöd har lagts till för Intel Diamond Rapids och Xeon Phi CPU:er.
• Möjligheterna för backend har utökats för LoongArch- och AVR-plattformar.
• Stödet för målarkitekturen nios2, som används i Nios II-processorer, har tagits bort. Stödet för ABI ILP32 (-mabi=ilp32) i AArch64-porten har förklarats som föråldrat och kommer att tas bort i nästa större version.

Källa: opennet.ru