Searched refs:constructSetEofNoteTag (Results 1 – 1 of 1) sorted by relevance
421 const NoteTag *constructSetEofNoteTag(CheckerContext &C, in constructSetEofNoteTag() function in __anon6d5dc6460211::StreamChecker750 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFreadFwrite()811 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFseek()