Predicate hasIndirectOperand
Holds if indirectionIndex is a valid non-zero indirection index for
operand op. That is, indirectionIndex is between 1 and the maximum
indirection for the operand’s type.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaImplpredicate hasIndirectOperand(Operand op, int indirectionIndex)