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()
1814 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail() argument1820 RetStatusSymbol = *Ret; in didPreviousFreeFail()2043 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux() local2044 if (RetStatusSymbol) { in FreeMemAux()2045 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2046 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in FreeMemAux()