Member predicate PointsToContext::untrackableCall
Holds if a call would be too expensive to create a new context for
predicate untrackableCall(CallNode call)
Holds if a call would be too expensive to create a new context for
predicate untrackableCall(CallNode call)