Searched refs:RetStatusSymbol (Results 1 – 2 of 2) sorted by relevance
428 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt() local429 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()433 RetStatusSymbol)); in checkPostStmt()
1822 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail() argument1828 RetStatusSymbol = *Ret; in didPreviousFreeFail()2048 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux() local2049 if (RetStatusSymbol) { in FreeMemAux()2050 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2051 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in FreeMemAux()