Lines Matching refs:State
95 } State; member
113 : LastOperation(L), State(S), ErrorState(ES), in StreamState()
117 assert((State == Opened || ErrorState.isNoError()) && in StreamState()
121 bool isOpened() const { return State == Opened; } in isOpened()
122 bool isClosed() const { return State == Closed; } in isClosed()
123 bool isOpenFailed() const { return State == OpenFailed; } in isOpenFailed()
128 return LastOperation == X.LastOperation && State == X.State && in operator ==()
147 ID.AddInteger(State); in Profile()
192 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C, in bindAndAssumeTrue() argument
195 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
196 State = State->assume(RetVal, true); in bindAndAssumeTrue()
197 assert(State && "Assumption on new value should not fail."); in bindAndAssumeTrue()
198 return State; in bindAndAssumeTrue()
201 ProgramStateRef bindInt(uint64_t Value, ProgramStateRef State, in bindInt() argument
203 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
205 return State; in bindInt()
226 ProgramStateRef checkPointerEscape(ProgramStateRef State,
325 ProgramStateRef State) const;
331 ProgramStateRef State) const;
341 ProgramStateRef State) const;
348 ProgramStateRef State) const;
355 ProgramStateRef State) const;
435 ProgramStateRef State = N->getState(); in getAcquisitionSite() local
438 if (!State->get<StreamMap>(StreamSym)) in getAcquisitionSite()
443 State = N->getState(); in getAcquisitionSite()
444 if (!State->get<StreamMap>(StreamSym)) in getAcquisitionSite()
480 ProgramStateRef State = C.getState(); in evalFopen() local
489 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
495 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
510 ProgramStateRef State = C.getState(); in preFreopen() local
511 State = ensureStreamNonNull(getStreamArg(Desc, Call), in preFreopen()
512 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
513 if (!State) in preFreopen()
516 C.addTransition(State); in preFreopen()
522 ProgramStateRef State = C.getState(); in evalFreopen() local
540 if (!State->get<StreamMap>(StreamSym)) in evalFreopen()
548 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
551 ProgramStateRef StateRetNull = State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
566 ProgramStateRef State = C.getState(); in evalFclose() local
571 const StreamState *SS = State->get<StreamMap>(Sym); in evalFclose()
580 State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc)); in evalFclose()
582 C.addTransition(State); in evalFclose()
587 ProgramStateRef State = C.getState(); in preFread() local
589 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFread()
590 State); in preFread()
591 if (!State) in preFread()
593 State = ensureStreamOpened(StreamVal, C, State); in preFread()
594 if (!State) in preFread()
596 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preFread()
597 if (!State) in preFread()
601 if (Sym && State->get<StreamMap>(Sym)) { in preFread()
602 const StreamState *SS = State->get<StreamMap>(Sym); in preFread()
604 reportFEofWarning(Sym, C, State); in preFread()
606 C.addTransition(State); in preFread()
612 ProgramStateRef State = C.getState(); in preFwrite() local
614 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFwrite()
615 State); in preFwrite()
616 if (!State) in preFwrite()
618 State = ensureStreamOpened(StreamVal, C, State); in preFwrite()
619 if (!State) in preFwrite()
621 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preFwrite()
622 if (!State) in preFwrite()
625 C.addTransition(State); in preFwrite()
631 ProgramStateRef State = C.getState(); in evalFreadFwrite() local
647 const StreamState *OldSS = State->get<StreamMap>(StreamSym); in evalFreadFwrite()
659 if (State->isNull(*SizeVal).isConstrainedTrue() || in evalFreadFwrite()
660 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
663 State = bindInt(0, State, C, CE); in evalFreadFwrite()
664 C.addTransition(State); in evalFreadFwrite()
672 State->BindExpr(CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
684 State->BindExpr(CE, C.getLocationContext(), *RetVal); in evalFreadFwrite()
688 .evalBinOpNN(State, BO_LT, *RetVal, *NMembVal, in evalFreadFwrite()
715 ProgramStateRef State = C.getState(); in preFseek() local
717 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
718 State); in preFseek()
719 if (!State) in preFseek()
721 State = ensureStreamOpened(StreamVal, C, State); in preFseek()
722 if (!State) in preFseek()
724 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()
725 if (!State) in preFseek()
728 C.addTransition(State); in preFseek()
733 ProgramStateRef State = C.getState(); in evalFseek() local
743 if (!State->get<StreamMap>(StreamSym)) in evalFseek()
749 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFseek()
755 C.getConstraintManager().assumeDual(State, RetVal); in evalFseek()
775 ProgramStateRef State = C.getState(); in evalClearerr() local
780 const StreamState *SS = State->get<StreamMap>(StreamSym); in evalClearerr()
787 State = State->set<StreamMap>( in evalClearerr()
790 C.addTransition(State); in evalClearerr()
796 ProgramStateRef State = C.getState(); in evalFeofFerror() local
805 const StreamState *SS = State->get<StreamMap>(StreamSym); in evalFeofFerror()
815 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); in evalFeofFerror()
825 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror()
835 ProgramStateRef State = C.getState(); in preDefault() local
837 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
838 State); in preDefault()
839 if (!State) in preDefault()
841 State = ensureStreamOpened(StreamVal, C, State); in preDefault()
842 if (!State) in preDefault()
845 C.addTransition(State); in preDefault()
851 ProgramStateRef State = C.getState(); in evalSetFeofFerror() local
854 const StreamState *SS = State->get<StreamMap>(StreamSym); in evalSetFeofFerror()
856 State = State->set<StreamMap>( in evalSetFeofFerror()
858 C.addTransition(State); in evalSetFeofFerror()
864 ProgramStateRef State) const { in ensureStreamNonNull()
867 return State; in ensureStreamNonNull()
890 ProgramStateRef State) const { in ensureStreamOpened()
893 return State; in ensureStreamOpened()
895 const StreamState *SS = State->get<StreamMap>(Sym); in ensureStreamOpened()
897 return State; in ensureStreamOpened()
910 return State; in ensureStreamOpened()
928 return State; in ensureStreamOpened()
931 return State; in ensureStreamOpened()
935 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate()
943 return State; in ensureNoFilePositionIndeterminate()
945 const StreamState *SS = State->get<StreamMap>(Sym); in ensureNoFilePositionIndeterminate()
947 return State; in ensureNoFilePositionIndeterminate()
956 ExplodedNode *N = C.generateNonFatalErrorNode(State); in ensureNoFilePositionIndeterminate()
962 return State->set<StreamMap>( in ensureNoFilePositionIndeterminate()
968 ExplodedNode *N = C.generateErrorNode(State); in ensureNoFilePositionIndeterminate()
976 return State; in ensureNoFilePositionIndeterminate()
981 ProgramStateRef State) const { in ensureFseekWhenceCorrect()
984 return State; in ensureFseekWhenceCorrect()
988 return State; in ensureFseekWhenceCorrect()
990 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in ensureFseekWhenceCorrect()
999 return State; in ensureFseekWhenceCorrect()
1003 ProgramStateRef State) const { in reportFEofWarning()
1004 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in reportFEofWarning()
1014 C.addTransition(State); in reportFEofWarning()
1058 ProgramStateRef State = C.getState(); in checkDeadSymbols() local
1062 const StreamMapTy &Map = State->get<StreamMap>(); in checkDeadSymbols()
1070 State = State->remove<StreamMap>(Sym); in checkDeadSymbols()
1077 C.addTransition(State, N); in checkDeadSymbols()
1081 ProgramStateRef State, const InvalidatedSymbols &Escaped, in checkPointerEscape() argument
1087 return State; in checkPointerEscape()
1097 State = State->remove<StreamMap>(Sym); in checkPointerEscape()
1099 return State; in checkPointerEscape()