Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h509 class SymbolManager {
525 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() function
583 SymbolManager& SymMgr;
596 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
677 const T *SymbolManager::acquire(Args &&...args) { in acquire()
H A DSValBuilder.h64 SymbolManager SymMgr;
165 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
166 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
H A DSimpleConstraintManager.h80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
H A DProgramState.h186 SymbolManager &getSymbolManager() const;
556 SymbolManager &getSymbolManager() { in getSymbolManager()
559 const SymbolManager &getSymbolManager() const { in getSymbolManager()
819 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager()
H A DExprEngine.h93 class SymbolManager; variable
154 SymbolManager &SymMgr;
431 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
H A DCheckerContext.h122 SymbolManager &getSymbolManager() { in getSymbolManager()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp226 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate()
241 void SymbolManager::addSymbolDependency(const SymbolRef Primary, in addSymbolDependency()
250 const SymbolRefSmallVectorTy *SymbolManager::getDependentSymbols( in getDependentSymbols()
H A DRangedConstraintManager.cpp63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
H A DSValBuilder.cpp143 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()
182 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()
221 assert(SymbolManager::canSymbolicate(type)); in getConjuredHeapSymbolVal()
245 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
264 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
H A DExprEngineObjC.cpp49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet()
H A DRegionStore.cpp1395 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()
2591 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
H A DSimpleSValBuilder.cpp299 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
H A DMemRegion.cpp810 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
H A DRangeConstraintManager.cpp1528 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
/freebsd/lib/clang/libclang/
H A DMakefile854 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc6597 …er::SymbolReaper(clang::LocationContext const*, clang::Stmt const*, clang::ento::SymbolManager&)"},
8195 …bolManager20getRegionValueSymbolEPKNS0_11TypedRegionE", "clang::ento::SymbolManager::getRegionValu…
8196 …nager17getConjuredSymbolEPKNS_4StmtENS_8QualTypeEjPKv", "clang::ento::SymbolManager::getConjuredSy…
8197 …DerivedSymbolEPKNS0_10SymbolDataEPKNS0_11TypedRegionE", "clang::ento::SymbolManager::getDerivedSym…
8198 {"_ZN5clang4ento13SymbolManager15getExtentSymbolEPKNS0_9SubRegionE", "clang::ento::SymbolManager::g…
8199 …aSymbolEPKNS0_9MemRegionEPKNS_4StmtENS_8QualTypeEjPKv", "clang::ento::SymbolManager::getMetadataSy…
8200 …NS_18BinaryOperatorKindERKN4llvm6APSIntENS_8QualTypeE", "clang::ento::SymbolManager::getSymIntExpr…
8201 …NS0_7SymExprENS_18BinaryOperatorKindES4_NS_8QualTypeE", "clang::ento::SymbolManager::getSymSymExpr…
8207 {"_ZN5clang4ento13SymbolManagerD1Ev", "clang::ento::SymbolManager::~SymbolManager()"},
8208 {"_ZN5clang4ento13SymbolManagerD2Ev", "clang::ento::SymbolManager::~SymbolManager()"},
[all …]