Member predicate SSA::Ssa::Definition::isLiveOutRefParameterDefinition

Holds if this SSA definition assigns to out/ref parameter p, and the parameter may remain unchanged throughout the rest of the enclosing callable.

predicate isLiveOutRefParameterDefinition(Parameter p)