codeql/cpp-all
1.3.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
INTERNAL: Do not use.
Holds if node is the node that corresponds to the definition of def.
node
def
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
predicate defToNode(Node node, Def def, SourceVariable sv, IRBlock bb, int i, boolean uncertain)