Lines Matching full:encounter
905 // If we encounter a use of the pointer, it is no longer considered dead
