Searched refs:SManager (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | StoreTest.cpp | 44 StoreManager &SManager = Eng.getStoreManager(); in performTest() local
46 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest()
66 Store StInit = SManager.getInitialStore(SFC).getStore(); in performTest()
72 Store StX0 = SManager.Bind(StInit, LX0, Zero).getStore(); in performTest()
90 Store StX1 = SManager.Bind(StInit, LX1, One).getStore(); in performTest()
91 EXPECT_EQ(One, SManager.getBinding(StX1, LX1, ASTCtxt.IntTy)); in performTest()
96 EXPECT_EQ(One, SManager.getBinding(StY1, LY1, ASTCtxt.IntTy)); in performTest()
112 StoreManager &SManager = Eng.getStoreManager(); in performTest() local
114 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest()
134 Store StInit = SManager.getInitialStore(SFC).getStore(); in performTest()
[all …]
|