Lines Matching defs:RetVal

238   DefinedSVal RetVal = makeRetVal(C, CE);
239   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
240   State = State->assume(RetVal, true);
292                                                  DefinedSVal RetVal,
686     NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>();
687     return State->BindExpr(CE, C.getLocationContext(), RetVal);
719     DefinedSVal RetVal = makeRetVal(C, CE);
720     State = State->BindExpr(CE, C.getLocationContext(), RetVal);
721     return C.getConstraintManager().assumeDual(State, RetVal);
904     ProgramStateRef State, DefinedSVal RetVal, CheckerContext &C) const {
905   auto assumeRetNE = [&C, RetVal](ProgramStateRef State,
914         SVB.evalBinOp(State, BO_NE, RetVal, VarValue, SVB.getConditionType())
934   DefinedSVal RetVal = makeRetVal(C, CE);
935   SymbolRef RetSym = RetVal.getAsSymbol();
936   assert(RetSym && "RetVal must be a symbol here.");
938   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
944       C.getConstraintManager().assumeDual(State, RetVal);
951   StateNotNull = assumeNoAliasingWithStdStreams(StateNotNull, RetVal, C);
1203   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1205       State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1206   StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal);
1238       NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1240           State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1244           RetVal,
1303     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1305         State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1307         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1337   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1338   State = State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1341           .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy),
1382     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1384         State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1386         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1463     NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1464     ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal);
1466         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1480                                        NVal->castAs<NonLoc>(), RetVal);
1481       StateNotFailed = E.bindReturnValue(StateNotFailed, C, RetVal);
1604   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1606       State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1608       E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1772   NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>();
1773   State = State->BindExpr(E.CE, C.getLocationContext(), RetVal);
1774   State = E.assumeBinOpNN(State, BO_GE, RetVal, E.getZeroVal(Call));