Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/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()
225 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, in getMetadataSymbol()
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()
[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()
196 assert(SymbolManager::canSymbolicate(T)); in getConjuredHeapSymbolVal()
209 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()
228 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
H A DRangedConstraintManager.cpp56 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
69 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
H A DCMakeLists.txt49 SymbolManager.cpp
H A DExprEngineObjC.cpp49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet()
H A DRangeConstraintManager.cpp1081 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForNegatedSub()
1120 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
H A DSimpleSValBuilder.cpp245 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
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()
/netbsd-src/external/apache2/llvm/dist/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 DSValBuilder.h62 SymbolManager SymMgr;
185 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
186 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
H A DSimpleConstraintManager.h79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } 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()
/netbsd-src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/
H A DMakefile51 SymbolManager.cpp \
/netbsd-src/external/apache2/llvm/dist/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn58 "SymbolManager.cpp",