HomeSort by: relevance | last modified time | path
    Searched refs:MemRegionManager (Results 1 - 17 of 17) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 55 class MemRegionManager;
115 virtual MemRegionManager &getMemRegionManager() const = 0;
201 MemRegionManager &Mgr;
203 MemSpaceRegion(MemRegionManager &mgr, Kind k) : MemRegion(k), Mgr(mgr) {
207 MemRegionManager &getMemRegionManager() const override { return Mgr; }
223 friend class MemRegionManager;
225 CodeSpaceRegion(MemRegionManager &mgr)
240 GlobalsSpaceRegion(MemRegionManager &mgr, Kind k) : MemSpaceRegion(mgr, k) {
257 friend class MemRegionManager;
261 StaticGlobalSpaceRegion(MemRegionManager &mgr, const CodeTextRegion *cr
    [all...]
Store.h 59 MemRegionManager &MRMgr;
130 MemRegionManager& getRegionManager() { return MRMgr; }
SValBuilder.h 65 MemRegionManager MemMgr;
188 MemRegionManager &getRegionManager() { return MemMgr; }
189 const MemRegionManager &getRegionManager() const { return MemMgr; }
ExprEngine.h 158 /// MRMgr - MemRegionManager object that creates memory regions.
159 MemRegionManager &MRMgr;
429 MemRegionManager &getRegionManager() { return MRMgr; }
ProgramState.h 530 MemRegionManager& getRegionManager() {
533 const MemRegionManager &getRegionManager() const {
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
MemRegion.cpp 67 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1,
84 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2,
102 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, const Arg2Ty arg2,
127 MemRegionManager::~MemRegionManager() = default;
146 MemRegionManager &SubRegion::getMemRegionManager() const {
730 // MemRegionManager methods.
733 DefinedOrUnknownSVal MemRegionManager::getStaticSize(const MemRegion *MR,
795 const REG *MemRegionManager::LazyAllocate(REG*& region) {
805 const REG *MemRegionManager::LazyAllocate(REG*& region, ARG a)
    [all...]
LoopWidening.cpp 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
ExprEngineCXX.cpp 116 MemRegionManager &MRMgr = SVB.getRegionManager();
535 MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
CallEvent.cpp 474 MemRegionManager &MRMgr = SVB.getRegionManager();
1363 MemRegionManager &MRMgr = SVB.getRegionManager();
BugReporterVisitors.cpp 357 MemRegionManager &MmrMgr;
ExprEngine.cpp 337 MemRegionManager &MRMgr = StateMgr.getRegionManager();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp 84 MemRegionManager& RM = C.getStoreManager().getRegionManager();
VforkChecker.cpp 168 MemRegionManager &M = C.getStoreManager().getRegionManager();
CallAndMessageChecker.cpp 245 MemRegionManager &MrMgr;
249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr,
MallocChecker.cpp 2769 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIChecker.cpp 150 MemRegionManager &RegionManager = MR->getMemRegionManager();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.cpp 168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();

Completed in 101 milliseconds