HomeSort by relevance Sort by last modified time
    Searched refs:SymbolManager (Results 1 - 10 of 10) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 1 //== 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"
168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
184 SymbolManager::getConjuredSymbol(const Stmt *E, const LocationContext *LCtx,
203 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
221 SymbolManager::getExtentSymbol(const SubRegion *R) {
237 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
255 SymbolManager::getCastSymbol(const SymExpr *Op,
270 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs
    [all...]
Android.mk 45 SymbolManager.cpp \
SValBuilder.cpp 98 if (!SymbolManager::canSymbolicate(T))
124 if (!SymbolManager::canSymbolicate(type))
141 if (!SymbolManager::canSymbolicate(type))
156 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type");
172 if (!SymbolManager::canSymbolicate(T))
SimpleConstraintManager.cpp 162 SymbolManager &SymMgr = state->getSymbolManager();
RegionStore.cpp 740 assert(SymbolManager::canSymbolicate(T) || V.isUnknown());
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 40 SymbolManager SymMgr;
139 SymbolManager &getSymbolManager() { return SymMgr; }
140 const SymbolManager &getSymbolManager() const { return SymMgr; }
145 // Forwarding methods to SymbolManager.
SymbolManager.h 1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
234 /// Clients should not ask the SymbolManager for a region's extent. Always use
470 class SymbolManager {
484 SymbolManager(ASTContext &ctx, BasicValueFactory &bv,
489 ~SymbolManager();
574 SymbolManager& SymMgr;
579 SymbolReaper(const LocationContext *ctx, const Stmt *s, SymbolManager& symmgr,
ExprEngine.h 61 SymbolManager& SymMgr;
246 SymbolManager& getSymbolManager() { return SymMgr; }
247 const SymbolManager& getSymbolManager() const { return SymMgr; }
CheckerContext.h 107 SymbolManager &getSymbolManager() {
ProgramState.h 139 SymbolManager &getSymbolManager() const;
467 SymbolManager &getSymbolManager() {
470 const SymbolManager &getSymbolManager() const {
695 inline SymbolManager &ProgramState::getSymbolManager() const {

Completed in 86 milliseconds