Searched refs:markReleased (Results 1 – 3 of 3) sorted by relevance
20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
149 State = allocation_state::markReleased(State, Symbol, Origin); in markPtrSymbolsReleased()
3586 markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin) { in markReleased() function