Cross Reference: /external/clang/lib/StaticAnalyzer/Core/MemRegion.cpp

Lines Matching refs:SymbolicRegion

220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
336 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
343 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const {
344   SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
520 void SymbolicRegion::dumpToStream(raw_ostream &os) const {
938 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
939   return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
942 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
943   return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());
1108 const SymbolicRegion *MemRegion::getSymbolicBase() const {
1112     if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR))
1243       } else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
1474   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
1494   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))

OpenGrok