Home | History | Annotate | Download | only in Checkers

Lines Matching defs:RetVal

3034   SVal RetVal = state->getSVal(CE->getArg(0));
3035   if (RetVal.isUnknown()) {
3039     SVal RetVal = SVB.getConjuredSymbolVal(0, CE, ResultTy, Count);
3041   state = state->BindExpr(CE, RetVal, false);
3045   if (const MemRegion *ArgRegion = RetVal.getAsRegion()) {
3047     SymbolRef Sym = RetVal.getAsLocSymbol();