Searched defs:SymbolManager (Results 1 - 2 of 2) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | 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" 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 D | SymbolManager.h | 1 //== 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