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

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)