Jonas Jensen cd7ba176ab C++: iterated dominance frontier algorithm for IR ...

Use the iterated dominance frontier algorithm to speed up dominance
frontier calculations. The implementation is copied from d310338c9b.

Before this change, the SSA calculations for unaliased and aliased SSA
used 169.9 seconds in total on these predicates:

    7:Dominance::getDominanceFrontier#2#ff .. 49s
    7:Dominance::blockDominates#2#ff ........ 47.5s
    8:Dominance::getDominanceFrontier#ff .... 44.4s
    8:Dominance::blockDominates#ff .......... 29s

After this change, the above predicates are replaced by two copies of
`getDominanceFrontier`, each of which takes less than a second.

2019-04-29 13:01:37 +02:00

..

config/suites

CPP: Re-enable OverflowDestination.ql on the security dashboard.

2019-03-25 17:40:22 +00:00

ql

C++: iterated dominance frontier algorithm for IR

2019-04-29 13:01:37 +02:00