Home
last modified time | relevance | path

Searched defs:StateMgr (Results 1 – 18 of 18) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h43 ProgramStateManager &StateMgr; variable
DSValBuilder.h46 ProgramStateManager &StateMgr; variable
DExprEngine.h69 ProgramStateManager StateMgr; variable
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h56 ProgramStateManager &StateMgr; variable
DSValBuilder.h67 ProgramStateManager &StateMgr; variable
DExprEngine.h153 ProgramStateManager StateMgr; variable
/external/clang/lib/StaticAnalyzer/Core/
DBugReporterVisitors.cpp356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
892 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local
1173 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
DCallEvent.cpp540 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
DExprEngine.cpp202 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
1480 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
DRegionStore.cpp669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DIterator.cpp214 auto &StateMgr = State->getStateManager(); in createIteratorPosition() local
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DBugReporterVisitors.cpp1147 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
1421 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
1834 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local
DSimpleSValBuilder.cpp449 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange() local
DCallEvent.cpp791 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
DRegionStore.cpp728 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
DExprEngine.cpp336 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
DRetainCountDiagnostics.cpp630 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite()
/external/clang/lib/StaticAnalyzer/Checkers/
DRetainCountChecker.cpp2214 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()