Member predicate FunctionWithAnalyzedParameters::mayReceiveArgument
Holds if p
is a parameter of this function that may receive a value from an argument.
predicate mayReceiveArgument(Parameter p)
Holds if p
is a parameter of this function that may receive a value from an argument.
predicate mayReceiveArgument(Parameter p)