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)