Member predicate PointsToContext::fromCall
Holds if call is the call-site from which this context was entered and outer is the caller’s context.
predicate fromCall(CallNode call, PointsToContext caller)Holds if call is the call-site from which this context was entered and outer is the caller’s context.
predicate fromCall(CallNode call, PointsToContext caller)