Searched defs:killBinding (Results 1 – 2 of 2) sorted by relevance
222 ProgramStateRef ProgramState::killBinding(Loc LV) const { in killBinding() function in ProgramState
2111 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding() function in RegionStoreManager