Searched refs:getErrnoNoteTag (Results 1 – 4 of 4) sorted by relevance
159 getErrnoNoteTag(C, "Assuming that this function succeeds but " in evalSetErrnoCheckState()164 getErrnoNoteTag(C, "Assuming that this function returns 2. 'errno' " in evalSetErrnoCheckState()
72 const NoteTag *getErrnoNoteTag(CheckerContext &C, const std::string &Message);
267 const NoteTag *getErrnoNoteTag(CheckerContext &C, const std::string &Message) { in getErrnoNoteTag() function
1026 C.addTransition(NewState, errno_modeling::getErrnoNoteTag(C, Note)); in checkPostCall()