diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-03-29 22:07:58 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-03-29 22:07:58 +0000 |
| commit | 2b1e6196e149ed81e59be6e1ad15cc90373e9ec1 (patch) | |
| tree | a101d0bd4d0f1f033b7a14de61dfa9df729fc837 /clang/lib/StaticAnalyzer/Core/MemRegion.cpp | |
| parent | ee3c19fd7fb0d2fa8e2f7e49bd0bb7c1394fcda9 (diff) | |
| download | bcm5719-llvm-2b1e6196e149ed81e59be6e1ad15cc90373e9ec1.tar.gz bcm5719-llvm-2b1e6196e149ed81e59be6e1ad15cc90373e9ec1.zip | |
[analyzer] Better pretty-printing of regions in exploded graph
Differential Revision: https://reviews.llvm.org/D45010
llvm-svn: 328835
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/MemRegion.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/MemRegion.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/MemRegion.cpp b/clang/lib/StaticAnalyzer/Core/MemRegion.cpp index 1562ff1193f..b735f5ab56e 100644 --- a/clang/lib/StaticAnalyzer/Core/MemRegion.cpp +++ b/clang/lib/StaticAnalyzer/Core/MemRegion.cpp @@ -430,7 +430,7 @@ void BlockDataRegion::dumpToStream(raw_ostream &os) const { for (BlockDataRegion::referenced_vars_iterator I = referenced_vars_begin(), E = referenced_vars_end(); I != E; ++I) - os << "(" << I.getCapturedRegion() << "," << + os << "(" << I.getCapturedRegion() << "<-" << I.getOriginalRegion() << ") "; os << '}'; } @@ -483,7 +483,12 @@ void SymbolicRegion::dumpToStream(raw_ostream &os) const { } void VarRegion::dumpToStream(raw_ostream &os) const { - os << *cast<VarDecl>(D); + const auto *VD = cast<VarDecl>(D); + if (const auto *ID = VD->getIdentifier()) { + os << ID->getName(); + } else { + os << "VarRegion{" << static_cast<const void*>(this) << '}'; + } } LLVM_DUMP_METHOD void RegionRawOffset::dump() const { |
