commit c9e7622a523ac706d09db5f3b18e45a41a35e7f3
author Ted Kremenek <kremenek@apple.com> Fri Dec 05 02:45:20 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Dec 05 02:45:20 2008 +0000
tree 309d52adfd628ec5fca7921a2c2d0645bd3f349f
parent 3cb81db1b2dfa45bc455a2c0727f821ef6a66616

Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber().

llvm-svn: 60578

clang/lib/Analysis/MemRegion.cpp

diff --git a/clang/lib/Analysis/MemRegion.cpp b/clang/lib/Analysis/MemRegion.cpp
index 99dc796..6aff286 100644
--- a/clang/lib/Analysis/MemRegion.cpp
+++ b/clang/lib/Analysis/MemRegion.cpp
@@ -149,7 +149,8 @@
 }
 
 void SymbolicRegion::print(llvm::raw_ostream& os) const {
-  os << "$" << sym.getNumber();
+  os << "SymRegion-";
+  sym.print(os);
 }
 
 void FieldRegion::print(llvm::raw_ostream& os) const {