GCC security features from AdaCore

The AdaCore blog describessome hardening features contributed to GCC for the GCC14 release.

With -fharden-control-flow-redundancy, the compiler now verifies,at the end of functions, whether the traversed basic blocks alignwith a legitimate execution path. The purpose of this protectivemeasure is to detect and thwart attacks attempting to infiltratethe middle of functions, thereby enhancing the overall securityposture of the compiled code.