CompCert-Release 24.04

Verbesserungen

• Verbesserte Prolog- und Epilog-Sequenzen für Funktionen bei ARM, PowerPC und AArch64.
• Zur Erzeugung von ARM-Symboladressen werden wenn möglich movt/movw benutzt.
• Vermeidung von unnötigen Moves beim ARM-EABI-Gleitkomma-Fixup-Code.
• Erzeugung von CFI-Direktiven für AArch64 und RISC-V
• Genauere Warnungen für non-linear-cond-expr.
• Die nicht mehr benötigte Option -fstruct-return wurde entfernt.