Searched refs:SymbolManager (Results 1 - 11 of 11) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
15 #include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
152 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
167 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
187 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
205 SymbolManager::getExtentSymbol(const SubRegion *R) {
221 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
239 SymbolManager::getCastSymbol(const SymExpr *Op,
254 const SymIntExpr *SymbolManager
[all...]
H A DAndroid.mk49 SymbolManager.cpp \
H A DSValBuilder.cpp98 if (!SymbolManager::canSymbolicate(T))
129 if (!SymbolManager::canSymbolicate(type))
145 if (!SymbolManager::canSymbolicate(type))
162 assert(SymbolManager::canSymbolicate(T));
172 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type");
188 if (!SymbolManager::canSymbolicate(T))
H A DSimpleConstraintManager.h85 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
H A DSimpleConstraintManager.cpp189 SymbolManager &SymMgr = getSymbolManager();
H A DRegionStore.cpp1093 assert(SymbolManager::canSymbolicate(T) || V.isUnknown());
1945 assert(!SymbolManager::canSymbolicate(T) && "This type is representable");
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h40 SymbolManager SymMgr;
137 SymbolManager &getSymbolManager() { return SymMgr; }
138 const SymbolManager &getSymbolManager() const { return SymMgr; }
143 // Forwarding methods to SymbolManager.
H A DSymbolManager.h1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
236 /// Clients should not ask the SymbolManager for a region's extent. Always use
474 class SymbolManager { class in namespace:clang::ento
488 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, function in class:clang::ento::SymbolManager
493 ~SymbolManager();
578 SymbolManager& SymMgr;
590 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,
H A DExprEngine.h73 SymbolManager& SymMgr;
299 SymbolManager& getSymbolManager() { return SymMgr; }
300 const SymbolManager& getSymbolManager() const { return SymMgr; }
H A DCheckerContext.h161 SymbolManager &getSymbolManager() {
H A DProgramState.h145 SymbolManager &getSymbolManager() const;
491 SymbolManager &getSymbolManager() {
494 const SymbolManager &getSymbolManager() const {
727 inline SymbolManager &ProgramState::getSymbolManager() const {

Completed in 790 milliseconds