codeql/swift-all
3.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if bb is a control-flow exit point.
bb
signature predicate exitBlock(BasicBlock bb)