Searched refs:BindDefaultInitial (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | StoreTest.cpp | 77 SManager.BindDefaultInitial(StInit, LY0.getAsRegion(), Zero).getStore(); in performTest()
95 SManager.BindDefaultInitial(StInit, LY1.getAsRegion(), One).getStore(); in performTest()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 112 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 132 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial()
|
| H A D | RegionStore.cpp | 444 StoreRef BindDefaultInitial(Store store, const MemRegion *R, in BindDefaultInitial() function in __anone91272100411::RegionStoreManager
|