Searched refs:killBinding (Results 1 – 6 of 6) sorted by relevance
123 virtual StoreRef killBinding(Store ST, Loc L) = 0;
305 [[nodiscard]] ProgramStateRef killBinding(Loc LV) const;
218 ProgramStateRef ProgramState::killBinding(Loc LV) const { in killBinding() function in ProgramState221 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
291 state = state->killBinding(ThisVal); in processCallExit()
523 StoreRef killBinding(Store ST, Loc L) override;2348 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding() function in RegionStoreManager
1303 return State->killBinding(*L); in invalidateBufferAux()