Home
last modified time | relevance | path

Searched refs:StateFailed (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp682 ProgramStateRef StateFailed = in evalFreadFwrite() local
690 StateFailed = StateFailed->assume(*Cond, true); in evalFreadFwrite()
691 if (!StateFailed) in evalFreadFwrite()
703 StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS); in evalFreadFwrite()
705 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFreadFwrite()
707 C.addTransition(StateFailed); in evalFreadFwrite()
750 ProgramStateRef StateNotFailed, StateFailed; in evalFseek() local
751 std::tie(StateFailed, StateNotFailed) = in evalFseek()
761 StateFailed = StateFailed->set<StreamMap>( in evalFseek()
766 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFseek()