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

Member predicate EssaEdgeRefinement::getSuccessor

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

BasicBlock getSuccessor()