CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Search

Predicate Make::SsaDefReaches::ssaRef

Holds if the ith node of basic block bb is a reference to v, either a read (when k is SsaActualRead()), an SSA definition (when k is SsaDef()), or a phi-read (when k is SsaPhiRead()).

Unlike Liveness::ref, this includes phi (read) nodes.

Import path

import codeql.ssa.Ssa
predicate ssaRef(BasicBlock bb, int i, SourceVariable v, SsaRefKind k)