Searched refs:SymbolManager (Results 1 – 10 of 10) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 171 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
186 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
206 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol()
224 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
240 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, in getMetadataSymbol()
258 SymbolManager::getCastSymbol(const SymExpr *Op, in getCastSymbol()
273 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
291 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
309 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
347 SymbolManager::~SymbolManager() { in ~SymbolManager()
[all …]
|
| D | SValBuilder.cpp | 98 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()
122 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
138 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
155 assert(SymbolManager::canSymbolicate(T)); in getConjuredHeapSymbolVal()
165 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
181 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
|
| D | CMakeLists.txt | 40 SymbolManager.cpp
|
| D | Android.mk | 48 SymbolManager.cpp \
|
| D | RegionStore.cpp | 773 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitBaseRegion()
1621 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 41 SymbolManager SymMgr;
137 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
138 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
| D | SymbolManager.h | 472 class SymbolManager {
486 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function
491 ~SymbolManager();
576 SymbolManager& SymMgr;
586 SymbolReaper(const LocationContext *ctx, const Stmt *s, SymbolManager& symmgr, in SymbolReaper()
|
| D | ExprEngine.h | 61 SymbolManager& SymMgr;
270 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager()
271 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
| D | ProgramState.h | 145 SymbolManager &getSymbolManager() const;
470 SymbolManager &getSymbolManager() { in getSymbolManager()
473 const SymbolManager &getSymbolManager() const { in getSymbolManager()
704 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
|
| D | CheckerContext.h | 120 SymbolManager &getSymbolManager() { in getSymbolManager()
|