Member predicate NormalReturnKind::isIndirectReturn
Holds if this ReturnKind is generated from a write to the parameter with
index argumentIndex
predicate isIndirectReturn(int argumentIndex)Holds if this ReturnKind is generated from a write to the parameter with
index argumentIndex
predicate isIndirectReturn(int argumentIndex)