Lines Matching refs:RetVal
216 Optional<SVal> RetVal = None);
459 Optional<SVal> RetVal = None);
1297 Optional<SVal> RetVal) { in ProcessZeroAllocCheck() argument
1301 if (!RetVal) in ProcessZeroAllocCheck()
1302 RetVal = Call.getReturnValue(); in ProcessZeroAllocCheck()
1336 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()
1533 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) in MallocMemAux() local
1535 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
1538 State = State->bindDefaultInitial(RetVal, Init, LCtx); in MallocMemAux()
1541 State = setDynamicExtent(State, RetVal.getAsRegion(), in MallocMemAux()
1550 Optional<SVal> RetVal) { in MallocUpdateRefState() argument
1555 if (!RetVal) in MallocUpdateRefState()
1556 RetVal = C.getSVal(E); in MallocUpdateRefState()
1559 if (!RetVal->getAs<Loc>()) in MallocUpdateRefState()
1562 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
1841 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux() local
1842 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2447 SVal RetVal = C.getSVal(CE); in ReallocMemAux() local
2448 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2729 SVal RetVal = C.getSVal(E); in checkEscapeOnReturn() local
2730 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2735 if (const MemRegion *MR = RetVal.getAsRegion()) in checkEscapeOnReturn()