CodeQL library for Go

codeql/go-all 5.0.3 (changelog, source)

Member predicate ReachableBasicBlock::strictlyDominates

Holds if this basic block strictly dominates bb.

predicate strictlyDominates(ReachableBasicBlock bb)