Lines Matching refs:RetVal
227 std::optional<SVal> RetVal = std::nullopt);
502 std::optional<SVal> RetVal = std::nullopt);
1474 std::optional<SVal> RetVal) { in ProcessZeroAllocCheck() argument
1478 if (!RetVal) in ProcessZeroAllocCheck()
1479 RetVal = Call.getReturnValue(); in ProcessZeroAllocCheck()
1513 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()
1771 DefinedSVal RetVal = in MallocMemAux() local
1775 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
1778 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()
1787 State = setDynamicExtent(State, RetVal.getAsRegion(), in MallocMemAux()
1796 std::optional<SVal> RetVal) { in MallocUpdateRefState() argument
1801 if (!RetVal) in MallocUpdateRefState()
1802 RetVal = C.getSVal(E); in MallocUpdateRefState()
1805 if (!RetVal->getAs<Loc>()) in MallocUpdateRefState()
1808 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
2095 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux() local
2096 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2705 SVal RetVal = C.getSVal(CE); in ReallocMemAux() local
2706 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2993 SVal RetVal = C.getSVal(E); in checkEscapeOnReturn() local
2994 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2999 if (const MemRegion *MR = RetVal.getAsRegion()) in checkEscapeOnReturn()