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

Predicate defToNode

INTERNAL: Do not use.

Holds if node is the node that corresponds to the definition of def.

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals
predicate defToNode(Node node, Def def, SourceVariable sv, IRBlock bb, int i, boolean uncertain)