Lines Matching defs:SymbolManager
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::getSymIntExpr(const SymExpr *lhs,
271 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs,
289 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs,
328 SymbolManager::~SymbolManager() {
332 bool SymbolManager::canSymbolicate(QualType T) {
347 void SymbolManager::addSymbolDependency(const SymbolRef Primary,
360 const SymbolRefSmallVectorTy *SymbolManager::getDependentSymbols(
