Module Cached

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon

getIRRepresentationOfOperand	Holds if the underlying IR has a suitable instruction to represent a value that would otherwise need to be represented by a dedicated `OperandNode` value.
hasIRRepresentationOfIndirectInstruction	Holds if the underlying IR has a suitable instruction to represent a value that would otherwise need to be represented by a dedicated `RawIndirectInstruction` value.
hasIRRepresentationOfIndirectOperand	Holds if the underlying IR has a suitable operand to represent a value that would otherwise need to be represented by a dedicated `RawIndirectOperand` value.
isDef	Holds if `address` is an address of an SSA variable rooted at `base`, and `instr` is a definition of the SSA variable with `ind` number of indirections.
isUse	Holds if `op` is a use of an SSA variable rooted at `base` with `ind` number of indirections.