Lines Matching refs:StateNotFailed
769 ProgramStateRef StateNotFailed = in evalFreadFwrite() local
771 StateNotFailed = in evalFreadFwrite()
772 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFreadFwrite()
773 C.addTransition(StateNotFailed); in evalFreadFwrite()
830 ProgramStateRef StateNotFailed = in evalFgetx() local
850 StateNotFailed = StateNotFailed->assume(*CondLow, true); in evalFgetx()
851 if (!StateNotFailed) in evalFgetx()
853 StateNotFailed = StateNotFailed->assume(*CondHigh, true); in evalFgetx()
854 if (!StateNotFailed) in evalFgetx()
856 C.addTransition(StateNotFailed); in evalFgetx()
863 ProgramStateRef StateNotFailed = in evalFgetx() local
865 StateNotFailed = StateNotFailed->set<StreamMap>( in evalFgetx()
867 C.addTransition(StateNotFailed); in evalFgetx()
917 ProgramStateRef StateNotFailed = in evalFputx() local
919 StateNotFailed = in evalFputx()
920 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFputx()
921 C.addTransition(StateNotFailed); in evalFputx()
925 ProgramStateRef StateNotFailed = in evalFputx() local
934 StateNotFailed = StateNotFailed->assume(*Cond, true); in evalFputx()
935 if (!StateNotFailed) in evalFputx()
937 StateNotFailed = in evalFputx()
938 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFputx()
939 C.addTransition(StateNotFailed); in evalFputx()
979 ProgramStateRef StateNotFailed, StateFailed; in evalFprintf() local
980 std::tie(StateNotFailed, StateFailed) = State->assume(*Cond); in evalFprintf()
982 StateNotFailed = in evalFprintf()
983 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFprintf()
984 C.addTransition(StateNotFailed); in evalFprintf()
1025 ProgramStateRef StateNotFailed = in evalFscanf() local
1028 SVB.evalBinOp(StateNotFailed, BO_GE, RetVal, in evalFscanf()
1033 StateNotFailed = StateNotFailed->assume(*RetGeZero, true); in evalFscanf()
1035 C.addTransition(StateNotFailed); in evalFscanf()
1077 ProgramStateRef StateNotFailed = in evalUngetc() local
1079 StateNotFailed = in evalUngetc()
1080 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalUngetc()
1081 C.addTransition(StateNotFailed); in evalUngetc()
1122 ProgramStateRef StateNotFailed = in evalGetdelim() local
1131 StateNotFailed = StateNotFailed->assume(*Cond, true); in evalGetdelim()
1132 if (!StateNotFailed) in evalGetdelim()
1134 C.addTransition(StateNotFailed); in evalGetdelim()
1196 ProgramStateRef StateNotFailed, StateFailed; in evalFseek() local
1197 std::tie(StateFailed, StateNotFailed) = in evalFseek()
1201 StateNotFailed = in evalFseek()
1202 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFseek()
1214 C.addTransition(StateNotFailed); in evalFseek()
1236 ProgramStateRef StateNotFailed, StateFailed; in evalFgetpos() local
1237 std::tie(StateFailed, StateNotFailed) = in evalFgetpos()
1243 C.addTransition(StateNotFailed); in evalFgetpos()
1267 ProgramStateRef StateNotFailed, StateFailed; in evalFsetpos() local
1268 std::tie(StateFailed, StateNotFailed) = in evalFsetpos()
1271 StateNotFailed = StateNotFailed->set<StreamMap>( in evalFsetpos()
1281 C.addTransition(StateNotFailed); in evalFsetpos()
1301 ProgramStateRef StateNotFailed = in evalFtell() local
1309 StateNotFailed = StateNotFailed->assume(*Cond, true); in evalFtell()
1310 if (!StateNotFailed) in evalFtell()
1319 C.addTransition(StateNotFailed); in evalFtell()
1475 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); in evalFflush() local
1478 auto ClearErrorInNotFailed = [&StateNotFailed, Desc](SymbolRef Sym, in evalFflush()
1484 StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS); in evalFflush()
1500 const StreamMapTy &Map = StateNotFailed->get<StreamMap>(); in evalFflush()
1509 C.addTransition(StateNotFailed); in evalFflush()