195   DefinedSVal RetVal = makeRetVal(C, CE);  in bindAndAssumeTrue()  local
196   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
197   State = State->assume(RetVal, true);  in bindAndAssumeTrue()
486   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()  local
487   SymbolRef RetSym = RetVal.getAsSymbol();  in evalFopen()
490   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
496       C.getConstraintManager().assumeDual(State, RetVal);  in evalFopen()
681   NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();  in evalFreadFwrite()  local
683       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
686           .evalBinOpNN(State, BO_LT, RetVal, *NMembVal, C.getASTContext().IntTy)  in evalFreadFwrite()
743   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFseek()  local
746   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
752       C.getConstraintManager().assumeDual(State, RetVal);  in evalFseek()