Lines Matching refs:RetVal
227 std::optional<SVal> RetVal = std::nullopt);
473 std::optional<SVal> RetVal = std::nullopt);
1494 std::optional<SVal> RetVal) { in ProcessZeroAllocCheck() argument
1498 if (!RetVal) in ProcessZeroAllocCheck()
1499 RetVal = Call.getReturnValue(); in ProcessZeroAllocCheck()
1533 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()
1730 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) in MallocMemAux() local
1732 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
1735 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()
1742 State = setDynamicExtent(State, RetVal.getAsRegion(), in MallocMemAux()
1751 std::optional<SVal> RetVal) { in MallocUpdateRefState() argument
1756 if (!RetVal) in MallocUpdateRefState()
1757 RetVal = C.getSVal(E); in MallocUpdateRefState()
1760 if (!RetVal->getAs<Loc>()) in MallocUpdateRefState()
1763 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
2042 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux() local
2043 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2652 SVal RetVal = C.getSVal(CE); in ReallocMemAux() local
2653 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2936 SVal RetVal = C.getSVal(E); in checkEscapeOnReturn() local
2937 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2942 if (const MemRegion *MR = RetVal.getAsRegion()) in checkEscapeOnReturn()