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.SsaImplpredicate defToNode(Node node, Definition def, SourceVariable sv)INTERNAL: Do not use.
Holds if node is the node that corresponds to the definition of def.
import semmle.code.cpp.ir.dataflow.internal.SsaImplpredicate defToNode(Node node, Definition def, SourceVariable sv)