197   DefinedSVal RetVal = makeRetVal(C, CE);  in bindAndAssumeTrue()  local
198   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
199   State = State->assume(RetVal, true);  in bindAndAssumeTrue()
518   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()  local
519   SymbolRef RetSym = RetVal.getAsSymbol();  in evalFopen()
522   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
528       C.getConstraintManager().assumeDual(State, RetVal);  in evalFopen()
726   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFreadFwrite()  local
728       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
731           .evalBinOpNN(State, BO_LT, RetVal, *NMembVal, C.getASTContext().IntTy)  in evalFreadFwrite()
788   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFseek()  local
791   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
797       C.getConstraintManager().assumeDual(State, RetVal);  in evalFseek()
830   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFgetpos()  local
831   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetpos()
834       C.getConstraintManager().assumeDual(State, RetVal);  in evalFgetpos()
861   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFsetpos()  local
862   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFsetpos()
865       C.getConstraintManager().assumeDual(State, RetVal);  in evalFsetpos()
896   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFtell()  local
898       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFtell()
899   auto Cond = SVB.evalBinOp(State, BO_GE, RetVal,  in evalFtell()