Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp157 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
172 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
192 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol()
209 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
243 SymbolManager::getCastSymbol(const SymExpr *Op, in getCastSymbol()
258 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
276 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
294 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
333 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate()
348 void SymbolManager::addSymbolDependency(const SymbolRef Primary, in addSymbolDependency()
[all …]
H A DSValBuilder.cpp124 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()
161 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
179 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
203 assert(SymbolManager::canSymbolicate(type)); in getConjuredHeapSymbolVal()
216 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
235 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
H A DExprEngineObjC.cpp49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet()
H A DSimpleSValBuilder.cpp245 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
H A DRangeConstraintManager.cpp1088 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForNegatedSub()
1127 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
H A DRegionStore.cpp1243 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()
2181 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
H A DMemRegion.cpp736 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h417 class SymbolManager {
434 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function
522 SymbolManager& SymMgr;
535 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
H A DSimpleConstraintManager.h79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
H A DSValBuilder.h62 SymbolManager SymMgr;
185 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
186 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
H A DProgramState.h149 SymbolManager &getSymbolManager() const;
521 SymbolManager &getSymbolManager() { in getSymbolManager()
524 const SymbolManager &getSymbolManager() const { in getSymbolManager()
798 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
H A DExprEngine.h96 class SymbolManager; variable
156 SymbolManager &SymMgr;
428 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
H A DCheckerContext.h116 SymbolManager &getSymbolManager() { in getSymbolManager()
/freebsd-13.1/lib/clang/libclang/
H A DMakefile699 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp