Searched refs:killBinding (Results 1 – 5 of 5) sorted by relevance
77 virtual StoreRef killBinding(Store ST, Loc L) = 0;
240 ProgramStateRef killBinding(Loc LV) const;
214 ProgramStateRef ProgramState::killBinding(Loc LV) const { in killBinding() function in ProgramState219 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
466 StoreRef killBinding(Store ST, Loc L) override;1975 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding() function in RegionStoreManager
947 return state->killBinding(*L); in InvalidateBuffer()