Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp169 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
184 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
204 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol()
221 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
255 SymbolManager::getCastSymbol(const SymExpr *Op, in getCastSymbol()
270 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
306 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
345 SymbolManager::~SymbolManager() { in ~SymbolManager()
349 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate()
364 void SymbolManager::addSymbolDependency(const SymbolRef Primary, in addSymbolDependency()
[all …]
H A DSValBuilder.cpp125 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()
162 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
180 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
197 assert(SymbolManager::canSymbolicate(T)); in getConjuredHeapSymbolVal()
210 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
229 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
H A DRangedConstraintManager.cpp50 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
H A DExprEngineObjC.cpp50 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet()
H A DRangeConstraintManager.cpp498 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForMinusSymbol()
H A DRegionStore.cpp1206 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()
2164 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
H A DSimpleSValBuilder.cpp378 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h461 class SymbolManager {
477 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function
480 ~SymbolManager();
566 SymbolManager& SymMgr;
579 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
H A DSValBuilder.h63 SymbolManager SymMgr;
172 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
173 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
H A DExprEngine.h82 class SymbolManager; variable
132 SymbolManager &SymMgr;
391 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
392 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
H A DSimpleConstraintManager.h80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
H A DProgramState.h152 SymbolManager &getSymbolManager() const;
546 SymbolManager &getSymbolManager() { in getSymbolManager()
549 const SymbolManager &getSymbolManager() const { in getSymbolManager()
822 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
H A DCheckerContext.h115 SymbolManager &getSymbolManager() { in getSymbolManager()
/freebsd-12.1/lib/clang/libclang/
H A DMakefile615 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp