Holds if evaluation of root
may complete normally after last
.
Import path
import semmle.go.controlflow.ControlFlowGraphImpl
predicate lastNode(ControlFlowTree root, Node last)
Holds if evaluation of root
may complete normally after last
.
import semmle.go.controlflow.ControlFlowGraphImpl
predicate lastNode(ControlFlowTree root, Node last)