Home
last modified time | relevance | path

Searched refs:killBinding (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h122 virtual StoreRef killBinding(Store ST, Loc L) = 0;
H A DProgramState.h304 LLVM_NODISCARD ProgramStateRef killBinding(Loc LV) const;
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp218 ProgramStateRef ProgramState::killBinding(Loc LV) const { in killBinding() function in ProgramState
223 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
H A DRegionStore.cpp519 StoreRef killBinding(Store ST, Loc L) override;
2361 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding() function in RegionStoreManager
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1056 return state->killBinding(*L); in InvalidateBuffer()