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();