Searched refs:PreviousCallNote (Results 1 – 1 of 1) sorted by relevance
223 const NoteTag *PreviousCallNote = C.getNoteTag( in postPreviousReturnInvalidatingCall() local230 C.addTransition(State, Node, PreviousCallNote); in postPreviousReturnInvalidatingCall()