Predicate Public::hasOperandAndIndex
Holds if indirectOperand is the dataflow node that represents the
indirection of operand with indirection index indirectionIndex.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowNodespredicate hasOperandAndIndex(IndirectOperand indirectOperand, Operand operand, int indirectionIndex)