CompCert release 24.04
Improvements
- 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.