Predicate Cached::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.
Such instructions do not create new RawIndirectOperand values, but are
instead associated with the instruction returned by this predicate.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommonpredicate hasIRRepresentationOfIndirectInstruction(Instruction instr, int indirectionIndex, Instruction instrRepr, int indirectionIndexRepr)