When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol used for the region (makes it easier to read for nested regions).
llvm-svn: 75550
diff --git a/clang/lib/Analysis/MemRegion.cpp b/clang/lib/Analysis/MemRegion.cpp
index ec0608b..8a40e4a 100644
--- a/clang/lib/Analysis/MemRegion.cpp
+++ b/clang/lib/Analysis/MemRegion.cpp
@@ -191,7 +191,7 @@
}
void SymbolicRegion::dumpToStream(llvm::raw_ostream& os) const {
- os << "SymRegion-" << sym;
+ os << "SymRegion{" << sym << '}';
}
void TypedViewRegion::dumpToStream(llvm::raw_ostream& os) const {