Searched refs:SymbolManager (Results 1 - 15 of 15) sorted by relevance
| /freebsd-13-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"
150 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
165 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
185 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
202 SymbolManager::getExtentSymbol(const SubRegion *R) {
218 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
236 SymbolManager::getCastSymbol(const SymExpr *Op,
251 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 | 637 SymbolManager &SymMgr = State->getSymbolManager();
681 SymbolManager &SymMgr = State->getSymbolManager();
|
| H A D | RegionStore.cpp | 1244 assert(SymbolManager::canSymbolicate(T) || V.isUnknown());
2182 assert(!SymbolManager::canSymbolicate(T) && "This type is representable");
|
| H A D | SimpleSValBuilder.cpp | 377 SymbolManager &SymMgr = SVB.getSymbolManager();
|
| H A D | MemRegion.cpp | 33 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
742 SymbolManager &SymMgr = SVB.getSymbolManager();
|
| /freebsd-13-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 | 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 | 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
407 class SymbolManager { class in namespace:clang::ento
424 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, function in class:clang::ento::SymbolManager
512 SymbolManager& SymMgr;
525 SymbolManager &symmgr, StoreManager &storeMgr)
|
| H A D | CheckerContext.h | 116 SymbolManager &getSymbolManager() {
|
| H A D | ProgramState.h | 149 SymbolManager &getSymbolManager() const;
521 SymbolManager &getSymbolManager() {
524 const SymbolManager &getSymbolManager() const {
798 inline SymbolManager &ProgramState::getSymbolManager() const {
|
| H A D | ExprEngine.h | 96 class SymbolManager;
156 SymbolManager &SymMgr;
428 SymbolManager &getSymbolManager() { return SymMgr; }
|
| /freebsd-13-stable/lib/clang/libclang/ |
| H A D | Makefile | 687 SRCS_FUL+= StaticAnalyzer/Core/SymbolManager.cpp
|
Completed in 201 milliseconds