Predicate signature MakeImplCommon::CallContextSensitivityInputSig::relevantCallEdgeIn
Holds if the edge is possibly needed in the direction call
to c
.
signature predicate relevantCallEdgeIn(DataFlowCall call, DataFlowCallable c)
Holds if the edge is possibly needed in the direction call
to c
.
signature predicate relevantCallEdgeIn(DataFlowCall call, DataFlowCallable c)