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()
2011 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in FreeMemAux() 2017 RetStatusSymbol = *Ret; in FreeMemAux() 2292 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in HandleNonHeapDealloc() 2293 if (RetStatusSymbol) { in HandleNonHeapDealloc() 2294 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in HandleNonHeapDealloc() 2295 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); in HandleNonHeapDealloc() 1868 didPreviousFreeFail(ProgramStateRef State,SymbolRef Sym,SymbolRef & RetStatusSymbol) didPreviousFreeFail() argument 2096 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); FreeMemAux() local