mirror of
https://github.com/github/codeql.git
synced 2025-12-19 10:23:15 +01:00
f07a7bf8cf
Will need subsequent PRs fixing up test failures (due to deprecated methods moving around), but other than that everything should be straight-forward.
9 lines
247 B
Plaintext
9 lines
247 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)
|
|
)
|