Member predicate FunctionWithAnalyzedParameters::argumentPassing
Holds if p
is a parameter of this function and arg
is
the corresponding argument.
predicate argumentPassing(Parameter p, Expr arg)
Holds if p
is a parameter of this function and arg
is
the corresponding argument.
predicate argumentPassing(Parameter p, Expr arg)