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

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
Iterator.cpp 214 auto &StateMgr = State->getStateManager();
215 auto &SymMgr = StateMgr.getSymbolManager();
216 auto &ACtx = StateMgr.getContext();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
SValBuilder.cpp 394 const unsigned MaxComp = StateMgr.getOwningEngine()
729 Val = StateMgr.ArrayToPointer(V, ElemTy);
756 R = StateMgr.getStoreManager().castRegion(SR, CastTy);
764 if ((R = StateMgr.getStoreManager().castRegion(ER, CastTy)))
782 return StateMgr.ArrayToPointer(V, ElemTy);
810 if ((R = StateMgr.getStoreManager().castRegion(R, CastTy)))
876 if ((R = StateMgr.getStoreManager().castRegion(R, CastTy)))
893 if ((R = StateMgr.getStoreManager().castRegion(R, CastTy)))
Store.cpp 42 StoreManager::StoreManager(ProgramStateManager &stateMgr)
43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
75 ASTContext &Ctx = StateMgr.getContext();
SimpleSValBuilder.cpp 27 ProgramStateManager &stateMgr)
28 : SValBuilder(alloc, context, stateMgr) {}
55 ProgramStateManager &stateMgr) {
56 return new SimpleSValBuilder(alloc, context, stateMgr);
317 ProgramStateManager &StateMgr = State->getStateManager();
318 SValBuilder &SVB = StateMgr.getSValBuilder();
324 StateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions();
991 Result = StateMgr.getStoreManager().evalDerivedToBase(
ExprEngine.cpp 210 StateMgr(getContext(), mgr.getStoreManagerCreator(),
213 SymMgr(StateMgr.getSymbolManager()),
214 MRMgr(StateMgr.getRegionManager()),
215 svalBuilder(StateMgr.getSValBuilder()),
233 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
336 ProgramStateManager &StateMgr = State->getStateManager();
337 MemRegionManager &MRMgr = StateMgr.getRegionManager();
338 StoreManager &StoreMgr = StateMgr.getStoreManager();
731 CleanedState = StateMgr.removeDeadBindingsFromEnvironmentAndStore(
754 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &
    [all...]
RegionStore.cpp 384 ExprEngine &Eng = StateMgr.getOwningEngine();
727 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
729 : RM(rm), Ctx(StateMgr.getContext()),
730 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
996 ProgramStateManager &stateMgr,
1004 : ClusterAnalysis<InvalidateRegionsWorker>(rm, stateMgr, b),
1346 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
2468 ProgramStateManager &stateMgr,
2471 : ClusterAnalysis<RemoveDeadBindingsWorker>(rm, stateMgr, b),
2602 RemoveDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx)
    [all...]
CallEvent.cpp 791 ProgramStateManager &StateMgr = getState()->getStateManager();
792 SValBuilder &SVB = StateMgr.getSValBuilder();
806 ThisVal = StateMgr.getStoreManager().attemptDownCast(ThisVal, Ty, Failed);
BugReporterVisitors.cpp 1169 ProgramStateManager &StateMgr = BRC.getStateManager();
1170 CallEventManager &CallMgr = StateMgr.getCallEventManager();
1459 ProgramStateManager &StateMgr = BRC.getStateManager();
1460 CallEventManager &CallMgr = StateMgr.getCallEventManager();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 67 ProgramStateManager &StateMgr;
99 ProgramStateManager &stateMgr)
102 StateMgr(stateMgr), ArrayIndexTy(context.LongLongTy),
172 ProgramStateManager &getStateManager() { return StateMgr; }
403 ProgramStateManager &stateMgr);
ExprEngine.h 152 /// StateMgr - Object that manages the data for all created states.
153 ProgramStateManager StateMgr;
415 ProgramStateManager &getStateManager() { return StateMgr; }
417 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); }
420 return StateMgr.getConstraintManager();
425 return StateMgr.getBasicVals();
Store.h 56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);

Completed in 44 milliseconds