Searched refs:SymbolManager (Results 1 - 14 of 14) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 1 //===- SymbolManager.h - Management of Symbolic Values --------------------===//
9 // This file defines SymbolManager, a class that manages symbolic values
14 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
183 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
203 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
220 SymbolManager::getExtentSymbol(const SubRegion *R) {
236 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
254 SymbolManager::getCastSymbol(const SymExpr *Op,
269 const SymIntExpr *SymbolManager
[all...] |
| H A D | SValBuilder.cpp | 34 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
124 if (!SymbolManager::canSymbolicate(T))
161 if (!SymbolManager::canSymbolicate(type))
179 if (!SymbolManager::canSymbolicate(type))
196 assert(SymbolManager::canSymbolicate(T));
209 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type");
228 if (!SymbolManager::canSymbolicate(T))
|
| H A D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx,
|
| H A D | RangedConstraintManager.cpp | 49 SymbolManager &SymMgr = getSymbolManager();
|
| H A D | RangeConstraintManager.cpp | 526 SymbolManager &SymMgr = State->getSymbolManager();
|
| H A D | RegionStore.cpp | 1252 assert(SymbolManager::canSymbolicate(T) || V.isUnknown());
2225 assert(!SymbolManager::canSymbolicate(T) && "This type is representable");
|
| H A D | SimpleSValBuilder.cpp | 377 SymbolManager &SymMgr = SVB.getSymbolManager();
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
| H A D | SymbolManager.h | 1 //===- SymbolManager.h - Management of Symbolic Values ----------*- C++ -*-===//
9 // This file defines SymbolManager, a class that manages symbolic values
165 /// Clients should not ask the SymbolManager for a region's extent. Always use
460 class SymbolManager { class in namespace:clang::ento
476 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, function in class:clang::ento::SymbolManager
479 ~SymbolManager();
565 SymbolManager& SymMgr;
578 SymbolManager &symmgr, StoreManager &storeMgr)
|
| H A D | SValBuilder.h | 29 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
62 SymbolManager SymMgr;
171 SymbolManager &getSymbolManager() { return SymMgr; }
172 const SymbolManager &getSymbolManager() const { return SymMgr; }
177 // Forwarding methods to SymbolManager.
|
| H A D | ExprEngine.h | 82 class SymbolManager;
132 SymbolManager &SymMgr;
397 SymbolManager &getSymbolManager() { return SymMgr; }
|
| H A D | ProgramState.h | 149 SymbolManager &getSymbolManager() const;
514 SymbolManager &getSymbolManager() {
517 const SymbolManager &getSymbolManager() const {
791 inline SymbolManager &ProgramState::getSymbolManager() const {
|
| H A D | CheckerContext.h | 114 SymbolManager &getSymbolManager() {
|
| /freebsd-11-stable/lib/clang/libclang/ |
| H A D | Makefile | 667 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp
|
Completed in 140 milliseconds