CompCert-Releasenotes
- Verbesserter Prolog- und Epilog-Code für Funktionen
- Erzeugung von CFI-Direktiven für AArch64 und RISC-V
- Diverse Verbesserungen für ARM
- Verbessertes Entfernen gemeinsamer Teilausdrücke
- Verbesserte Konstantenpropagation
- Verbesserungen am Valex-Qualifizierungskit
- Unterstützung für Duff’s Device
- Unterstützung für Unicode-Konstanten und -Zeichenketten
- Verbesserte Instruktionsauswahl und Registerallokation für ARM/Thumb
- Unterstützung der C11
_Generic
Selection
- Verbesserte if-conversion-Compileroptimierung
- Unterstützung für Mergeable String/Literal Sections
- Formal verifizierte Behandlung von Bitfeldern in Structs und Unions
- Ausgabe von Csyntax
- Unterstützung für 32-Bit-PowerPC-VLE mit der NXP-GCC-Toolchain
- Unterstützung für Nichtinteger-Bitfelder
- Verbesserte ABI-Kompatibilität
- Verbesserte Diagnostiken
- Zusätzliche und verbesserte Built-In-Funktionen
- Neue Built-in-Funktionen
- Verbesserte Diagnostiken
- Unterstützung für
_Static_assert
- Neue Architektur: AArch64
- Verbesserte Fehlermeldungen
- Bessere DWARF-Unterstützung
- Optimierung durch If-Konvertierung
- Verbesserte Built-in-Funktionen
- Neue Diagnostiken
- Verbesserter Umgang mit Attributen
- Besseres Scoping
- DWARF-Verbesserungen
- Besserer Umgang mit
_Alignof
/_Alignas
- Neuer Valex-Check
- Neue Diagnostiken
- Neues Builtin zur Integration mit a3
- JSON-Export für ARM-Assembler
- Valex für ARM
- Neues Backend für hybriden 64/32-Bit–PowerPC-Code
- Neue generische Optimierungen
- QSK für Valex
- Volle Unterstützung für C11-anonymous-compound-Typen
- Checks für nichtbenutzte Variablen und Parameter
- Verbesserte Unterstützung für K&R, ARM und PowerPC
- Kompatibilität mit coq v8.5pl2
- Neue Optionen für GCC-Kompatibilität
- Mehr eingebaute Funktionen
- Diverse Fixes
- Valex-Tool
- Unterstützung für DWARF2
- Neue Sprachfeatures