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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h77 virtual StoreRef killBinding(Store ST, Loc L) = 0;
H A DProgramState.h217 ProgramStateRef killBinding(Loc LV) const;
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp214 ProgramStateRef ProgramState::killBinding(Loc LV) const { function in class:ProgramState
219 getStateManager().StoreMgr->killBinding(OldStore, LV);
H A DRegionStore.cpp470 StoreRef killBinding(Store ST, Loc L) override;
1878 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { function in class:RegionStoreManager
/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp862 return state->killBinding(*L);

Completed in 86 milliseconds