238   DefinedSVal RetVal = makeRetVal(C, CE);  in bindAndAssumeTrue()  local
239   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
240   State = State->assume(RetVal, true);  in bindAndAssumeTrue()
679     NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in makeAndBindRetVal()  local
680     return State->BindExpr(CE, C.getLocationContext(), RetVal);  in makeAndBindRetVal()
712     DefinedSVal RetVal = makeRetVal(C, CE);  in makeRetValAndAssumeDual()  local
713     State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in makeRetValAndAssumeDual()
714     return C.getConstraintManager().assumeDual(State, RetVal);  in makeRetValAndAssumeDual()
897   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()  local
898   SymbolRef RetSym = RetVal.getAsSymbol();  in evalFopen()
901   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
907       C.getConstraintManager().assumeDual(State, RetVal);  in evalFopen()
1164   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFreadFwrite()  local
1166       State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
1167   StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal);  in evalFreadFwrite()
1199       NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFgetx()  local
1201           State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFgetx()
1205           RetVal,  in evalFgetx()
1264     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFputx()  local
1266         State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFputx()
1268         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));  in evalFputx()
1298   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFprintf()  local
1299   State = State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFprintf()
1302           .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy),  in evalFprintf()
1343     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFscanf()  local
1345         State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFscanf()
1347         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));  in evalFscanf()
1424     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalGetdelim()  local
1425     ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal);  in evalGetdelim()
1427         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));  in evalGetdelim()
1441                                        NVal->castAs<NonLoc>(), RetVal);  in evalGetdelim()
1442       StateNotFailed = E.bindReturnValue(StateNotFailed, C, RetVal);  in evalGetdelim()
1565   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFtell()  local
1567       State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFtell()
1569       E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));  in evalFtell()
1733   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();  in evalFileno()  local
1734   State = State->BindExpr(E.CE, C.getLocationContext(), RetVal);  in evalFileno()
1735   State = E.assumeBinOpNN(State, BO_GE, RetVal, E.getZeroVal(Call));  in evalFileno()