CodeQL library for Python
Search

Member predicate BasicBlock::reachesExit

Whether flow from this basic block reaches a normal exit from its scope

predicate reachesExit()