CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Predicate CFG::succ

Gets a successor of nd, that is, a node that is executed after nd.

Import path

import semmle.go.controlflow.ControlFlowGraphImpl
Node succ(Node nd)