Searched refs:RetStatusSymbol (Results 1 – 2 of 2) sorted by relevance
436 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt() local437 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()441 RetStatusSymbol)); in checkPostStmt()
1613 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail() argument1619 RetStatusSymbol = *Ret; in didPreviousFreeFail()1842 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux() local1843 if (RetStatusSymbol) { in FreeMemAux()1844 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()1845 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in FreeMemAux()