Searched refs:SymbolManager (Results 1 – 12 of 12) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
D | SymbolManager.cpp | 151 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol() 166 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol() 186 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol() 204 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol() 220 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, in getMetadataSymbol() 238 SymbolManager::getCastSymbol(const SymExpr *Op, in getCastSymbol() 253 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr() 271 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr() 289 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr() 328 SymbolManager::~SymbolManager() { in ~SymbolManager() [all …]
|
D | SValBuilder.cpp | 101 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal() 138 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal() 157 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal() 174 assert(SymbolManager::canSymbolicate(T)); in getConjuredHeapSymbolVal() 186 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal() 205 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
|
D | CMakeLists.txt | 44 SymbolManager.cpp
|
D | Android.mk | 54 SymbolManager.cpp
|
D | SimpleConstraintManager.h | 104 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
|
D | SimpleConstraintManager.cpp | 158 SymbolManager &SymMgr = getSymbolManager(); in assumeAux()
|
D | RegionStore.cpp | 1159 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster() 2042 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | SValBuilder.h | 40 SymbolManager SymMgr; 137 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() 138 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
D | SymbolManager.h | 471 class SymbolManager { 485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function 490 ~SymbolManager(); 575 SymbolManager& SymMgr; 587 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr, in SymbolReaper()
|
D | ExprEngine.h | 72 SymbolManager& SymMgr; 312 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager() 313 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
D | ProgramState.h | 146 SymbolManager &getSymbolManager() const; 498 SymbolManager &getSymbolManager() { in getSymbolManager() 501 const SymbolManager &getSymbolManager() const { in getSymbolManager() 759 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
|
D | CheckerContext.h | 161 SymbolManager &getSymbolManager() { in getSymbolManager()
|