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()
581   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()  local
582   SymbolRef RetSym = RetVal.getAsSymbol();  in evalFopen()
585   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
591       C.getConstraintManager().assumeDual(State, RetVal);  in evalFopen()
777   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFreadFwrite()  local
779       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
782       SVB.evalBinOpNN(State, BO_LT, RetVal, *NMembVal, SVB.getConditionType())  in evalFreadFwrite()
829       NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFgetx()  local
831           State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetx()
837           SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy),  in evalFgetx()
841           SVB.evalBinOp(State, BO_LE, RetVal,  in evalFgetx()
924     NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFputx()  local
926         State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFputx()
929     auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy),  in evalFputx()
970   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFprintf()  local
971   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFprintf()
974   auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ACtx.IntTy),  in evalFprintf()
1024     NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFscanf()  local
1026         State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFscanf()
1028         SVB.evalBinOp(StateNotFailed, BO_GE, RetVal,  in evalFscanf()
1121     NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalGetdelim()  local
1123         State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalGetdelim()
1126         SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(CE->getType()),  in evalGetdelim()
1189   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFseek()  local
1192   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
1198       C.getConstraintManager().assumeDual(State, RetVal);  in evalFseek()
1234   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFgetpos()  local
1235   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetpos()
1238       C.getConstraintManager().assumeDual(State, RetVal);  in evalFgetpos()
1265   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFsetpos()  local
1266   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFsetpos()
1269       C.getConstraintManager().assumeDual(State, RetVal);  in evalFsetpos()
1300   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFtell()  local
1302       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFtell()
1304       SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(Call.getResultType()),  in evalFtell()