Predicate nodeToDefOrUse
INTERNAL: Do not use.
Holds if nodeFrom
is the node that correspond to the definition or use defOrUse
.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
predicate nodeToDefOrUse(Node nodeFrom, SsaDefOrUse defOrUse, boolean uncertain)