Member predicate ReturnIndirectionInstruction::isThisIndirection
Holds if this instruction is the return indirection for this
.
predicate isThisIndirection()
Holds if this instruction is the return indirection for this
.
predicate isThisIndirection()