Searched refs:StInit (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | StoreTest.cpp | 66 Store StInit = SManager.getInitialStore(SFC).getStore(); in performTest() local
72 Store StX0 = SManager.Bind(StInit, LX0, Zero).getStore(); in performTest()
77 SManager.BindDefaultInitial(StInit, LY0.getAsRegion(), Zero).getStore(); in performTest()
82 Store StZ0 = SManager.BindDefaultZero(StInit, LZ0.getAsRegion()).getStore(); in performTest()
90 Store StX1 = SManager.Bind(StInit, LX1, One).getStore(); in performTest()
95 SManager.BindDefaultInitial(StInit, LY1.getAsRegion(), One).getStore(); in performTest()
134 Store StInit = SManager.getInitialStore(SFC).getStore(); in performTest() local
137 Store StX = SManager.Bind(StInit, ZeroElement, One).getStore(); in performTest()
|