CodeQL library for C#
codeql/csharp-all 3.1.1 (changelog, source)
Search

Member predicate Make::DefinitionExt::definesAt

Holds if this SSA definition defines v at index i in basic block bb. Phi nodes are considered to be at index -1, while normal variable writes are at the index of the control flow node they wrap.

predicate definesAt(SourceVariable v, BasicBlock bb, int i, SsaRefKind kind)