Searched refs:SymbolManager (Results 1 - 11 of 11) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SymbolManager.cpp | 1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==// 10 // This file defines SymbolManager, a class that manages symbolic values 15 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h" 152 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { 167 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, 187 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, 205 SymbolManager::getExtentSymbol(const SubRegion *R) { 221 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, 239 SymbolManager::getCastSymbol(const SymExpr *Op, 254 const SymIntExpr *SymbolManager [all...] |
H A D | Android.mk | 49 SymbolManager.cpp \
|
H A D | SValBuilder.cpp | 98 if (!SymbolManager::canSymbolicate(T)) 129 if (!SymbolManager::canSymbolicate(type)) 145 if (!SymbolManager::canSymbolicate(type)) 162 assert(SymbolManager::canSymbolicate(T)); 172 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); 188 if (!SymbolManager::canSymbolicate(T))
|
H A D | SimpleConstraintManager.h | 85 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
H A D | SimpleConstraintManager.cpp | 189 SymbolManager &SymMgr = getSymbolManager();
|
H A D | RegionStore.cpp | 1093 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); 1945 assert(!SymbolManager::canSymbolicate(T) && "This type is representable");
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 40 SymbolManager SymMgr; 137 SymbolManager &getSymbolManager() { return SymMgr; } 138 const SymbolManager &getSymbolManager() const { return SymMgr; } 143 // Forwarding methods to SymbolManager.
|
H A D | SymbolManager.h | 1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==// 10 // This file defines SymbolManager, a class that manages symbolic values 236 /// Clients should not ask the SymbolManager for a region's extent. Always use 474 class SymbolManager { class in namespace:clang::ento 488 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, function in class:clang::ento::SymbolManager 493 ~SymbolManager(); 578 SymbolManager& SymMgr; 590 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,
|
H A D | ExprEngine.h | 73 SymbolManager& SymMgr; 299 SymbolManager& getSymbolManager() { return SymMgr; } 300 const SymbolManager& getSymbolManager() const { return SymMgr; }
|
H A D | CheckerContext.h | 161 SymbolManager &getSymbolManager() {
|
H A D | ProgramState.h | 145 SymbolManager &getSymbolManager() const; 491 SymbolManager &getSymbolManager() { 494 const SymbolManager &getSymbolManager() const { 727 inline SymbolManager &ProgramState::getSymbolManager() const {
|
Completed in 790 milliseconds