Searched refs:SymbolManager (Results 1 – 16 of 16) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 167 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
182 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
202 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol()
219 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
235 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, in getMetadataSymbol()
253 SymbolManager::getCastSymbol(const SymExpr *Op, in getCastSymbol()
268 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
286 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
304 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
322 const UnarySymExpr *SymbolManager::getUnarySymExpr(const SymExpr *Operand, in getUnarySymExpr()
[all …]
|
| H A D | CMakeLists.txt | 50 SymbolManager.cpp
|
| H A D | RangedConstraintManager.cpp | 63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
|
| H A D | SValBuilder.cpp | 147 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()
184 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
202 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
226 assert(SymbolManager::canSymbolicate(type)); in getConjuredHeapSymbolVal()
239 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
258 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
|
| H A D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet()
|
| H A D | RegionStore.cpp | 1237 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()
2433 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
|
| H A D | SimpleSValBuilder.cpp | 284 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
|
| H A D | MemRegion.cpp | 739 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
|
| H A D | RangeConstraintManager.cpp | 1511 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 63 SymbolManager SymMgr;
152 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
153 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
| H A D | SimpleConstraintManager.h | 80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
|
| H A D | SymbolManager.h | 481 class SymbolManager {
498 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function
594 SymbolManager& SymMgr;
607 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
|
| H A D | ProgramState.h | 187 SymbolManager &getSymbolManager() const;
561 SymbolManager &getSymbolManager() { in getSymbolManager()
564 const SymbolManager &getSymbolManager() const { in getSymbolManager()
838 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
|
| H A D | ExprEngine.h | 93 class SymbolManager; variable
154 SymbolManager &SymMgr;
431 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
|
| H A D | CheckerContext.h | 119 SymbolManager &getSymbolManager() { in getSymbolManager()
|
| /openbsd-src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 59 "SymbolManager.cpp",
|