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