Predicate nodeToDefOrUse
INTERNAL: Do not use.
Holds if node
is the node that corresponds to the definition or use at
index i
in block bb
of sv
.
uncertain
is true
if this is an uncertain definition.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
predicate nodeToDefOrUse(Node node, SourceVariable sv, IRBlock bb, int i, boolean uncertain)