194   DefinedSVal RetVal = makeRetVal(C, CE);  in bindAndAssumeTrue()  local
195   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
196   State = State->assume(RetVal, true);  in bindAndAssumeTrue()
485   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()  local
486   SymbolRef RetSym = RetVal.getAsSymbol();  in evalFopen()
489   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
495       C.getConstraintManager().assumeDual(State, RetVal);  in evalFopen()
681   Optional<NonLoc> RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFreadFwrite()  local
682   assert(RetVal && "Value should be NonLoc.");  in evalFreadFwrite()
684       State->BindExpr(CE, C.getLocationContext(), *RetVal);  in evalFreadFwrite()
688                   .evalBinOpNN(State, BO_LT, *RetVal, *NMembVal,  in evalFreadFwrite()
746   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFseek()  local
749   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
755       C.getConstraintManager().assumeDual(State, RetVal);  in evalFseek()