HomeSort by: relevance | last modified time | path
    Searched refs:getStateManager (Results 1 - 25 of 34) sorted by relevancy

1 2

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 110 ProgramStateManager &getStateManager() const {
663 return getStateManager().getRegionManager().getVarRegion(D, LC);
671 return getStateManager().ConstraintMgr
680 return getStateManager().ConstraintMgr
692 return getStateManager().ConstraintMgr->assumeInclusiveRange(
705 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
719 getStateManager().getRegionManager().getCXXBaseObjectRegion(
727 getStateManager().getRegionManager().getCXXBaseObjectRegion(
733 return getStateManager().StoreMgr->getLValueVar(VD, LC);
738 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC)
    [all...]
CheckerContext.h 120 ProgramStateManager &getStateManager() {
121 return Eng.getStateManager();
CallEvent.h 248 getState()->getStateManager().getContext().getSourceManager();
1444 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1460 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 38 ProgramStateManager &Mgr = s->getStateManager();
72 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this);
121 ProgramStateManager &Mgr = getStateManager();
134 ProgramStateManager &Mgr = getStateManager();
143 ProgramStateManager &Mgr = getStateManager();
191 ProgramStateManager &Mgr = getStateManager();
227 getStateManager().StoreMgr->killBinding(OldStore, LV);
239 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
277 if (const llvm::APSInt *Int = getStateManager()
311 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V
    [all...]
ConstraintManager.cpp 28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym);
DynamicExtent.cpp 59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder();
LoopWidening.cpp 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
CallEvent.cpp 71 ASTContext &Ctx = getState()->getStateManager().getContext();
219 State->getStateManager().getRegionManager().getParamVarRegion(
343 CD.II = &getState()->getStateManager().getContext().Idents.get(
405 ASTContext &Ctx = getState()->getStateManager().getContext();
527 ExprEngine &Engine = getState()->getStateManager().getOwningEngine();
563 ExprEngine &Engine = getState()->getStateManager().getOwningEngine();
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
791 ProgramStateManager &StateMgr = getState()->getStateManager();
866 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
909 SValBuilder &SVB = getState()->getStateManager().getSValBuilder()
    [all...]
CheckerContext.cpp 105 ProgramStateManager &Mgr = State->getStateManager();
ExprEngineCXX.cpp 100 SValBuilder &SVB = State->getStateManager().getSValBuilder();
295 CallEventManager &CEMgr = getStateManager().getCallEventManager();
573 CallEventManager &CEMgr = getStateManager().getCallEventManager();
743 CallEventManager &CEMgr = getStateManager().getCallEventManager();
773 CallEventManager &CEMgr = getStateManager().getCallEventManager();
866 CallEventManager &CEMgr = getStateManager().getCallEventManager();
945 CallEventManager &CEMgr = getStateManager().getCallEventManager();
SimpleConstraintManager.cpp 30 SValBuilder &SVB = State->getStateManager().getSValBuilder();
ExprEngineObjC.cpp 150 CallEventManager &CEMgr = getStateManager().getCallEventManager();
SimpleSValBuilder.cpp 183 SValBuilder &SVB = State->getStateManager().getSValBuilder();
200 SValBuilder &SVB = State->getStateManager().getSValBuilder();
243 SValBuilder &SVB = State->getStateManager().getSValBuilder();
317 ProgramStateManager &StateMgr = State->getStateManager();
1144 : State(State), SVB(State->getStateManager().getSValBuilder()) {}
BugReporterVisitors.cpp 290 ProgramStateManager &Mgr = N->getState()->getStateManager();
579 BR.getStateManager().getCallEventManager().getCaller(SCtx, State);
1169 ProgramStateManager &StateMgr = BRC.getStateManager();
1459 ProgramStateManager &StateMgr = BRC.getStateManager();
1512 const StoreManager &SM = BRC.getStateManager().getStoreManager();
1558 BRC.getStateManager().iterBindings(NodeWithoutBinding->getState(), FB);
2388 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) ||
2901 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
Iterator.cpp 214 auto &StateMgr = State->getStateManager();
231 auto &SymMgr = State->getStateManager().getSymbolManager();
232 auto &SVB = State->getStateManager().getSValBuilder();
233 auto &BVF = State->getStateManager().getBasicVals();
267 SValBuilder &SVB = State->getStateManager().getSValBuilder();
306 auto &SVB = State->getStateManager().getSValBuilder();
ChrootChecker.cpp 80 ProgramStateManager &Mgr = state->getStateManager();
90 ProgramStateManager &Mgr = state->getStateManager();
InnerPointerChecker.cpp 245 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();
265 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();
AnalysisOrderChecker.cpp 55 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine()
CheckObjCDealloc.cpp 269 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
508 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
532 if (State->getStateManager()
866 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
ObjCSuperDeallocChecker.cpp 240 ASTContext &Ctx = M.getState()->getStateManager().getContext();
Taint.cpp 65 State->getStateManager().getStoreManager().getDefaultBinding(
TrustNonnullChecker.cpp 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountDiagnostics.cpp 218 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager();
468 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
893 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym);
965 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym);
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporter.h 677 /// getStateManager - Return the state manager used by the analysis
679 ProgramStateManager &getStateManager() const;
706 ProgramStateManager& getStateManager() const {
707 return BR.getStateManager();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
UninitializedObjectChecker.cpp 250 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader(
539 ASTContext &AC = State->getStateManager().getContext();

Completed in 44 milliseconds

1 2