Lines Matching refs: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"
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,
288 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs,
306 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs,
344 SymbolManager::~SymbolManager() {
352 bool SymbolManager::canSymbolicate(QualType T) {
367 void SymbolManager::addSymbolDependency(const SymbolRef Primary,
380 const SymbolRefSmallVectorTy *SymbolManager::getDependentSymbols(
