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