Predicate signature MakeImplCommon::CallContextSensitivityInputSig::relevantCallEdgeOut
Holds if the edge is possibly needed in the direction c
to call
.
signature predicate relevantCallEdgeOut(Call call, Callable c)
Holds if the edge is possibly needed in the direction c
to call
.
signature predicate relevantCallEdgeOut(Call call, Callable c)