Searched refs:constructSetEofNoteTag (Results 1 – 1 of 1) sorted by relevance
400 const NoteTag *constructSetEofNoteTag(CheckerContext &C, in constructSetEofNoteTag() function in __anon2cf76ca30211::StreamChecker708 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFreadFwrite()769 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFseek()