Lines Matching defs:StreamOperationEvaluator

634 struct StreamOperationEvaluator {  struct
635   SValBuilder &SVB;
636   const ASTContext &ACtx;
638   SymbolRef StreamSym = nullptr;
639   const StreamState *SS = nullptr;
640   const CallExpr *CE = nullptr;
641   StreamErrorState NewES;
643   StreamOperationEvaluator(CheckerContext &C)  in StreamOperationEvaluator()  function
648   bool Init(const FnDescription *Desc, const CallEvent &Call, CheckerContext &C,  in Init()
666   bool isStreamEof() const { return SS->ErrorState == ErrorFEof; }  in isStreamEof()
668   NonLoc getZeroVal(const CallEvent &Call) {  in getZeroVal()
672   ProgramStateRef setStreamState(ProgramStateRef State,  in setStreamState()
678   ProgramStateRef makeAndBindRetVal(ProgramStateRef State, CheckerContext &C) {  in makeAndBindRetVal()
683   ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C,  in bindReturnValue()
689   ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C,  in bindReturnValue()
694   ProgramStateRef bindNullReturnValue(ProgramStateRef State,  in bindNullReturnValue()
700   ProgramStateRef assumeBinOpNN(ProgramStateRef State,  in assumeBinOpNN()
711   makeRetValAndAssumeDual(ProgramStateRef State, CheckerContext &C) {  in makeRetValAndAssumeDual()
717   const NoteTag *getFailureNoteTag(const StreamChecker *Ch, CheckerContext &C) {  in getFailureNoteTag()