186 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {  in makeRetVal()  argument
187   assert(CE && "Expecting a call expression.");  in makeRetVal()
191       .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount())  in makeRetVal()
196                                   const CallExpr *CE) {  in bindAndAssumeTrue()  argument
197   DefinedSVal RetVal = makeRetVal(C, CE);  in bindAndAssumeTrue()
198   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
205                         CheckerContext &C, const CallExpr *CE) {  in bindInt()  argument
206   State = State->BindExpr(CE, C.getLocationContext(),  in bindInt()
207                           C.getSValBuilder().makeIntVal(Value, CE->getType()));  in bindInt()
514   const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFopen()  local
515   if (!CE)  in evalFopen()
518   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()
522   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
557   auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFreopen()  local
558   if (!CE)  in evalFreopen()
581       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
585       State->BindExpr(CE, C.getLocationContext(),  in evalFreopen()
586                       C.getSValBuilder().makeNullWithType(CE->getType()));  in evalFreopen()
609   auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFclose()  local
610   if (!CE)  in evalFclose()
623       CE, C.getLocationContext(), SVB.makeIntVal(0, C.getASTContext().IntTy));  in evalFclose()
625       State->BindExpr(CE, C.getLocationContext(),  in evalFclose()
683   const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFreadFwrite()  local
684   if (!CE)  in evalFreadFwrite()
710     State = bindInt(0, State, C, CE);  in evalFreadFwrite()
719         State->BindExpr(CE, C.getLocationContext(), *NMembVal);  in evalFreadFwrite()
726   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFreadFwrite()
728       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
780   const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFseek()  local
781   if (!CE)  in evalFseek()
788   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFseek()
791   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
826   auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFgetpos()  local
827   if (!CE)  in evalFgetpos()
830   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFgetpos()
831   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetpos()
855   auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFsetpos()  local
856   if (!CE)  in evalFsetpos()
861   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFsetpos()
862   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFsetpos()
891   auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFtell()  local
892   if (!CE)  in evalFtell()
896   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFtell()
898       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFtell()
910       CE, C.getLocationContext(), SVB.makeIntVal(-1, C.getASTContext().LongTy));  in evalFtell()
927   auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalRewind()  local
928   if (!CE)  in evalRewind()
968   const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in evalFeofFerror()  local
969   if (!CE)  in evalFeofFerror()
982     ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE);  in evalFeofFerror()
992     ProgramStateRef FalseState = bindInt(0, State, C, CE);  in evalFeofFerror()