Searched defs:SymbolManager (Results 1 - 2 of 2) 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"
151 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
166 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
186 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol,
204 SymbolManager::getExtentSymbol(const SubRegion *R) {
220 SymbolManager::getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T,
238 SymbolManager::getCastSymbol(const SymExpr *Op,
253 const SymIntExpr *SymbolManager
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h1 //== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==//
10 // This file defines SymbolManager, a class that manages symbolic values
233 /// Clients should not ask the SymbolManager for a region's extent. Always use
471 class SymbolManager { class in namespace:clang::ento
485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, function in class:clang::ento::SymbolManager
490 ~SymbolManager();
575 SymbolManager& SymMgr;
587 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,

Completed in 297 milliseconds