Home | History | Annotate | Download | only in Checkers

Lines Matching defs:RetVal

868   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
870 State = State->BindExpr(CE, C.getLocationContext(), RetVal);
873 if (!RetVal.getAs<Loc>())
877 State = State->bindDefault(RetVal, Init);
881 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
903 SVal retVal = State->getSVal(E, C.getLocationContext());
906 if (!retVal.getAs<Loc>())
909 SymbolRef Sym = retVal.getAsLocSymbol();
1181 SVal RetVal = C.getSVal(ParentExpr);
1182 SymbolRef RetStatusSymbol = RetVal.getAsSymbol();
1631 SVal RetVal = state->getSVal(CE, LCtx);
1632 SymbolRef ToPtr = RetVal.getAsSymbol();
1905 SVal RetVal = State->getSVal(E, C.getLocationContext());
1906 SymbolRef Sym = RetVal.getAsSymbol();
1911 if (const MemRegion *MR = RetVal.getAsRegion())