commit 562731eabbed616535874c99655c81cc55d713fb
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 e87526a941a95857d01cabab89772e6c731458d7
parent 6d0e2d2f3c1b6531f303aac7e48aa1eb05900f2a

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60578 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/MemRegion.cpp

diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index 99dc796..6aff286 100644
--- a/lib/Analysis/MemRegion.cpp
+++ b/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 {