On Fri, Jul 8, 2022 at 7:00 PM Alexandre Oliva wrote:
>
> On Jul 8, 2022, Richard Biener wrote:
>
> > I'm possibly missing the importance of 'redundancy' in -fharden-control-flow
>
> I took "Control Flow Redundancy" as a term of the art and never
> questioned it. I think the "redundancy" has to
On Jul 8, 2022, Richard Biener wrote:
> I'm possibly missing the importance of 'redundancy' in -fharden-control-flow
I took "Control Flow Redundancy" as a term of the art and never
questioned it. I think the "redundancy" has to do with the fact that
control flow is generally affected by tests
On Thu, Jul 7, 2022 at 10:04 PM Alexandre Oliva via Gcc-patches
wrote:
>
>
> This patch introduces an optional hardening pass to catch unexpected
> execution flows. Functions are transformed so that basic blocks set a
> bit in an automatic array, and (non-exceptional) function exit edges
> check
This patch introduces an optional hardening pass to catch unexpected
execution flows. Functions are transformed so that basic blocks set a
bit in an automatic array, and (non-exceptional) function exit edges
check that the bits in the array represent an expected execution path
in the CFG.
Funct
