Predicate MakeWithSplitting::last
Holds if last with completion c is a potential last element executed
within control flow element cft.
Import path
import codeql.controlflow.Cfgpredicate last(ControlFlowTree cft, AstNode last, Completion c)Holds if last with completion c is a potential last element executed
within control flow element cft.
import codeql.controlflow.Cfgpredicate last(ControlFlowTree cft, AstNode last, Completion c)