Lines Matching defs:RetVal

238   DefinedSVal RetVal = makeRetVal(C, CE);
239   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
240   State = State->assume(RetVal, true);
679     NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();
680     return State->BindExpr(CE, C.getLocationContext(), RetVal);
712     DefinedSVal RetVal = makeRetVal(C, CE);
713     State = State->BindExpr(CE, C.getLocationContext(), RetVal);
714     return C.getConstraintManager().assumeDual(State, RetVal);
897   DefinedSVal RetVal = makeRetVal(C, CE);
898   SymbolRef RetSym = RetVal.getAsSymbol();
899   assert(RetSym && "RetVal must be a symbol here.");
901   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
907       C.getConstraintManager().assumeDual(State, RetVal);
1164   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1166       State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1167   StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal);
1199       NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1201           State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1205           RetVal,
1264     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1266         State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1268         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1298   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1299   State = State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1302           .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy),
1343     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1345         State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1347         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1424     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1425     ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal);
1427         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1441                                        NVal->castAs<NonLoc>(), RetVal);
1442       StateNotFailed = E.bindReturnValue(StateNotFailed, C, RetVal);
1565   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1567       State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1569       E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1733   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1734   State = State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1735   State = E.assumeBinOpNN(State, BO_GE, RetVal, E.getZeroVal(Call));