Predicate hasOperandAndIndex
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate
hasOperandAndIndex
(
IndirectOperand
indirectOperand
,
Operand
operand
,
int
indirectionIndex
)