CodeQL library for C/C++
codeql/cpp-all 0.9.2 ( 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 )