Lines Matching refs:RetVal
303 Optional<SVal> RetVal = None) const;
333 Optional<SVal> RetVal = None);
974 ProgramStateRef State, Optional<SVal> RetVal) const { in ProcessZeroAllocation()
978 if (!RetVal) in ProcessZeroAllocation()
979 RetVal = C.getSVal(E); in ProcessZeroAllocation()
1012 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocation()
1262 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) in MallocMemAux() local
1264 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
1267 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()
1271 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in MallocMemAux()
1292 Optional<SVal> RetVal) { in MallocUpdateRefState() argument
1297 if (!RetVal) in MallocUpdateRefState()
1298 RetVal = C.getSVal(E); in MallocUpdateRefState()
1301 if (!RetVal->getAs<Loc>()) in MallocUpdateRefState()
1304 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
1616 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux() local
1617 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2181 SVal RetVal = C.getSVal(CE); in ReallocMemAux() local
2182 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2473 SVal RetVal = C.getSVal(E); in checkEscapeOnReturn() local
2474 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2479 if (const MemRegion *MR = RetVal.getAsRegion()) in checkEscapeOnReturn()