Member predicate TypeTracker::call
Holds if this is the starting point of type tracking when tracking a parameter into a call, but not out of it.
predicate call()
Holds if this is the starting point of type tracking when tracking a parameter into a call, but not out of it.
predicate call()