Searched defs:stateMgr (Results 1 - 5 of 5) sorted by relevance
| /freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 62 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
| H A D | ProgramState.h | 85 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 29 SimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
52 createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
| H A D | Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr) argument
|
| H A D | RegionStore.cpp | 936 invalidateRegionsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, const Expr *ex, unsigned count, const LocationContext *lctx, InvalidatedSymbols &is, RegionAndSymbolInvalidationTraits &ITraitsIn, StoreManager::InvalidatedRegions *r, GlobalsFilterKind GFK) argument
2280 removeDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument
|
Completed in 169 milliseconds