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

Predicate signature TypeTrackingInput::levelStepNoCall

Holds if there is a level step from nodeFrom to nodeTo that does not depend on the call graph.

signature predicate levelStepNoCall(Node nodeFrom, LocalSourceNode nodeTo)