Lines Matching refs:RetVal
227 std::optional<SVal> RetVal = std::nullopt);
473 std::optional<SVal> RetVal = std::nullopt);
1500 std::optional<SVal> RetVal) { in ProcessZeroAllocCheck() argument
1504 if (!RetVal) in ProcessZeroAllocCheck()
1505 RetVal = Call.getReturnValue(); in ProcessZeroAllocCheck()
1539 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()
1736 DefinedSVal RetVal = in MallocMemAux() local
1740 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
1743 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()
1750 State = setDynamicExtent(State, RetVal.getAsRegion(), in MallocMemAux()
1759 std::optional<SVal> RetVal) { in MallocUpdateRefState() argument
1764 if (!RetVal) in MallocUpdateRefState()
1765 RetVal = C.getSVal(E); in MallocUpdateRefState()
1768 if (!RetVal->getAs<Loc>()) in MallocUpdateRefState()
1771 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
2047 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux() local
2048 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2657 SVal RetVal = C.getSVal(CE); in ReallocMemAux() local
2658 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2938 SVal RetVal = C.getSVal(E); in checkEscapeOnReturn() local
2939 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2944 if (const MemRegion *MR = RetVal.getAsRegion()) in checkEscapeOnReturn()