Searched refs:constructSetEofNoteTag (Results 1 – 1 of 1) sorted by relevance
401 const NoteTag *constructSetEofNoteTag(CheckerContext &C, in constructSetEofNoteTag() function in __anonccd0ff1f0211::StreamChecker705 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFreadFwrite()766 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFseek()