Dependence graph: entry points may have additional control dependencies#6721

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:bugfixes/control-deps

Mar 11, 2022

Commits on Mar 11, 2022

Dependence graph: entry points may have additional control dependencies
tautschnig
committed
Dependence graph: refactor function-call control dependency branching
tautschnig
committed