Searched defs:RetStatusSymbol (Results 1 – 2 of 2) sorted by relevance
428 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt() local
1868 didPreviousFreeFail(ProgramStateRef State,SymbolRef Sym,SymbolRef & RetStatusSymbol) didPreviousFreeFail() argument 2096 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); FreeMemAux() local