Searched refs:SymbolManager (Results 1 – 16 of 16) sorted by relevance
| /llvm-project-15.0.7/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()
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()
359 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate()
374 void SymbolManager::addSymbolDependency(const SymbolRef Primary, in addSymbolDependency()
[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 | 1232 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()
2431 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
|
| H A D | SimpleSValBuilder.cpp | 283 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
|
| H A D | MemRegion.cpp | 739 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
|
| H A D | RangeConstraintManager.cpp | 1523 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
|
| /llvm-project-15.0.7/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
589 SymbolManager& SymMgr;
602 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
|
| H A D | ProgramState.h | 186 SymbolManager &getSymbolManager() const;
559 SymbolManager &getSymbolManager() { in getSymbolManager()
562 const SymbolManager &getSymbolManager() const { in getSymbolManager()
836 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
|
| H A D | ExprEngine.h | 92 class SymbolManager; variable
153 SymbolManager &SymMgr;
430 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
|
| H A D | CheckerContext.h | 118 SymbolManager &getSymbolManager() { in getSymbolManager()
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 59 "SymbolManager.cpp",
|