Files
codeql/python/ql/test/library-tests/ControlFlow/dominators/DominatesConsistency.ql
2020-06-19 17:02:47 +02:00

9 lines
261 B
Plaintext

import python
select count(BasicBlock b1, BasicBlock b2 |
b1 = b2.getImmediateDominator+() and not b1.strictlyDominates(b2)
),
count(BasicBlock b1, BasicBlock b2 |
not b1 = b2.getImmediateDominator+() and b1.strictlyDominates(b2)
)