Home
last modified time | relevance | path

Searched refs:SymbolManager (Results 1 – 15 of 15) sorted by relevance

/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDSymbolManager.cpp167 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
181 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
200 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol()
216 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
231 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, in getMetadataSymbol()
248 SymbolManager::getCastSymbol(const SymExpr *Op, in getCastSymbol()
262 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
279 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
296 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
313 const UnarySymExpr *SymbolManager::getUnarySymExpr(const SymExpr *Operand, in getUnarySymExpr()
[all …]
HDRangedConstraintManager.cpp63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
HDSValBuilder.cpp147 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()
247 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
266 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
HDExprEngineObjC.cpp49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet()
HDRegionStore.cpp1228 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()
2418 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
HDSimpleSValBuilder.cpp298 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
HDMemRegion.cpp786 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
HDRangeConstraintManager.cpp1511 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSValBuilder.h63 SymbolManager SymMgr;
164 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
165 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
HDSimpleConstraintManager.h80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
HDSymbolManager.h482 class SymbolManager {
499 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function
595 SymbolManager& SymMgr;
608 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
HDProgramState.h187 SymbolManager &getSymbolManager() const;
563 SymbolManager &getSymbolManager() { in getSymbolManager()
566 const SymbolManager &getSymbolManager() const { in getSymbolManager()
826 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
HDExprEngine.h93 class SymbolManager; variable
154 SymbolManager &SymMgr;
423 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
HDCheckerContext.h119 SymbolManager &getSymbolManager() { in getSymbolManager()
/freebsd-14-stable/lib/clang/libclang/
HDMakefile812 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp