Predicate Cached::isIteratorUse
Holds if iteratorAddress is an address of an iterator that is used for a
read operation to read a value from a container that created the iterator.
container represents the base of the address of the container that was used
to create the iterator.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommonpredicate isIteratorUse(BaseSourceVariableInstruction container, Operand iteratorAddress, int numberOfLoads, int indirectionIndex)