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

Member predicate SsaPhiNode::definesAt

INTERNAL: Use getBasicBlock() and getSourceVariable() instead.

Holds if this is a definition of source variable v at index idx in basic block bb.

Phi nodes are considered to be at index -1, all other definitions at the index of the control flow node they correspond to.

predicate definesAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)