Minor Optimization for the Generic Dominator Calculation Algorithm#1424

Open

omerk2511 wants to merge 2 commits intocea-sec:masterfrom omerk2511:minor_dominator_calculation_optimization

+3-2

Commits on Mar 27, 2022

Optimized the generic dominator calculation a bit by preventing redundant initial calculations
omerk2511
committed
Bugfix - the assumption that the head node can never be a sucessor of any node in the graph is correct, but this is a *generic* function, so it should handle postdominators as well, whose head can …
omerk2511
committed