CodeQL library for Python
codeql/python-all 1.0.1 (changelog, source)
Search

Member predicate EssaEdgeRefinement::getSuccessor

Gets the basic block succeeding the edge on which this refinement occurs.

BasicBlock getSuccessor()