Member predicate Indirection::isAdditionalDereference
Holds if deref is an instruction that behaves as a LoadInstruction
that loads the value computed by address.
predicate isAdditionalDereference(Instruction deref, Operand address)Holds if deref is an instruction that behaves as a LoadInstruction
that loads the value computed by address.
predicate isAdditionalDereference(Instruction deref, Operand address)