Searched refs:SymbolManager (Results 1 - 14 of 14) sorted by relevance
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SymbolManager.cpp | 1 //===- SymbolManager.h - Management of Symbolic Values --------------------===// 9 // This file defines SymbolManager, a class that manages symbolic values 14 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h" 168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { 183 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, 203 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, 220 SymbolManager::getExtentSymbol(const SubRegion *R) { 236 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, 254 SymbolManager::getCastSymbol(const SymExpr *Op, 269 const SymIntExpr *SymbolManager [all...] |
H A D | SValBuilder.cpp | 34 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h" 124 if (!SymbolManager::canSymbolicate(T)) 161 if (!SymbolManager::canSymbolicate(type)) 179 if (!SymbolManager::canSymbolicate(type)) 196 assert(SymbolManager::canSymbolicate(T)); 209 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); 228 if (!SymbolManager::canSymbolicate(T))
|
H A D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx,
|
H A D | RangedConstraintManager.cpp | 49 SymbolManager &SymMgr = getSymbolManager();
|
H A D | RangeConstraintManager.cpp | 526 SymbolManager &SymMgr = State->getSymbolManager();
|
H A D | RegionStore.cpp | 1252 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); 2225 assert(!SymbolManager::canSymbolicate(T) && "This type is representable");
|
H A D | SimpleSValBuilder.cpp | 377 SymbolManager &SymMgr = SVB.getSymbolManager();
|
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SimpleConstraintManager.h | 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
H A D | SymbolManager.h | 1 //===- SymbolManager.h - Management of Symbolic Values ----------*- C++ -*-===// 9 // This file defines SymbolManager, a class that manages symbolic values 165 /// Clients should not ask the SymbolManager for a region's extent. Always use 460 class SymbolManager { class in namespace:clang::ento 476 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, function in class:clang::ento::SymbolManager 479 ~SymbolManager(); 565 SymbolManager& SymMgr; 578 SymbolManager &symmgr, StoreManager &storeMgr)
|
H A D | SValBuilder.h | 29 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h" 62 SymbolManager SymMgr; 171 SymbolManager &getSymbolManager() { return SymMgr; } 172 const SymbolManager &getSymbolManager() const { return SymMgr; } 177 // Forwarding methods to SymbolManager.
|
H A D | ExprEngine.h | 82 class SymbolManager; 132 SymbolManager &SymMgr; 397 SymbolManager &getSymbolManager() { return SymMgr; }
|
H A D | CheckerContext.h | 114 SymbolManager &getSymbolManager() {
|
H A D | ProgramState.h | 149 SymbolManager &getSymbolManager() const; 514 SymbolManager &getSymbolManager() { 517 const SymbolManager &getSymbolManager() const { 791 inline SymbolManager &ProgramState::getSymbolManager() const {
|
/freebsd-12-stable/lib/clang/libclang/ |
H A D | Makefile | 667 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp
|
Completed in 259 milliseconds