| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 40 class MemRegionManager;
99 virtual MemRegionManager* getMemRegionManager() const = 0;
181 MemRegionManager *Mgr;
183 MemSpaceRegion(MemRegionManager *mgr, Kind k) : MemRegion(k), Mgr(mgr) {
187 MemRegionManager* getMemRegionManager() const override { return Mgr; }
203 friend class MemRegionManager;
205 CodeSpaceRegion(MemRegionManager *mgr)
219 GlobalsSpaceRegion(MemRegionManager *mgr, Kind k)
234 friend class MemRegionManager;
238 StaticGlobalSpaceRegion(MemRegionManager *mgr, const CodeTextRegion *cr
[all...] |
| SValBuilder.h | 44 MemRegionManager MemMgr;
145 MemRegionManager &getRegionManager() { return MemMgr; }
146 const MemRegionManager &getRegionManager() const { return MemMgr; }
|
| Store.h | 46 MemRegionManager &MRMgr;
85 MemRegionManager& getRegionManager() { return MRMgr; }
|
| SVals.h | 39 class MemRegionManager;
|
| ProgramState.h | 508 MemRegionManager& getRegionManager() {
511 const MemRegionManager& getRegionManager() const {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| MemRegion.cpp | 37 RegionTy* MemRegionManager::getRegion(const A1 a1) {
57 RegionTy* MemRegionManager::getSubRegion(const A1 a1,
75 RegionTy* MemRegionManager::getRegion(const A1 a1, const A2 a2) {
95 RegionTy* MemRegionManager::getSubRegion(const A1 a1, const A2 a2,
113 RegionTy* MemRegionManager::getSubRegion(const A1 a1, const A2 a2, const A3 a3,
136 MemRegionManager::~MemRegionManager() {
158 MemRegionManager* SubRegion::getMemRegionManager() const {
695 // MemRegionManager methods.
699 const REG *MemRegionManager::LazyAllocate(REG*& region)
[all...] |
| LoopWidening.cpp | 53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
|
| CallEvent.cpp | 318 MemRegionManager &MRMgr = SVB.getRegionManager();
[all...] |
| ExprEngineCXX.cpp | 155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
|
| BugReporterVisitors.cpp | 893 MemRegionManager &MRMgr = StateMgr.getRegionManager();
[all...] |
| ExprEngine.cpp | 203 MemRegionManager &MRMgr = StateMgr.getRegionManager();
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 60 MemRegionManager& RM = C.getStoreManager().getRegionManager();
|
| VforkChecker.cpp | 168 MemRegionManager &M = C.getStoreManager().getRegionManager();
|
| CallAndMessageChecker.cpp | 229 MemRegionManager &MrMgr;
233 MemRegionManager &mrMgr, Store s)
|
| MallocChecker.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIChecker.cpp | 150 MemRegionManager *const RegionManager = MR->getMemRegionManager();
|
