CompCert release 24.04


  • Improved function prologue and epilogue code sequences for ARM, PowerPC, and AArch64.
  • Use movt/movw to construct symbol addresses if they are available for ARM.
  • Avoid unnecessary moves for ARM EABI floating point fixup code.
  • Generate CFI directives for AArch64 and RISC-V.
  • Improved precision of the warning for non-linear-cond-expr.
  • Removed deprecated option -fstruct-return.