aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-12-17 19:25:50 +0000
committerTed Kremenek <kremenek@apple.com>2008-12-17 19:25:50 +0000
commit500d2ee83d407106d80920fb4325fa2e06fa61a5 (patch)
tree59e45f9e411600ed95d46fd3bfab3cf918608a48
parent1c13c4f87ebdf4309d9b9b75336f15301b8ec8ce (diff)
Add pretty-printing for AnonTypedRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61146 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/MemRegion.h2
-rw-r--r--lib/Analysis/MemRegion.cpp6
2 files changed, 8 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h
index 839b427c05..efe0b9a19c 100644
--- a/include/clang/Analysis/PathSensitive/MemRegion.h
+++ b/include/clang/Analysis/PathSensitive/MemRegion.h
@@ -221,6 +221,8 @@ class AnonTypedRegion : public TypedRegion {
public:
+ void print(llvm::raw_ostream& os) const;
+
QualType getRValueType(ASTContext&) const {
return T;
}
diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index 898aff031f..eafeee66d5 100644
--- a/lib/Analysis/MemRegion.cpp
+++ b/lib/Analysis/MemRegion.cpp
@@ -135,6 +135,12 @@ void AllocaRegion::print(llvm::raw_ostream& os) const {
os << "alloca{" << (void*) Ex << ',' << Cnt << '}';
}
+void AnonTypedRegion::print(llvm::raw_ostream& os) const {
+ os << "anon_type{" << T.getAsString() << ',';
+ getSuperRegion()->print(os);
+ os << '}';
+}
+
void VarRegion::print(llvm::raw_ostream& os) const {
os << cast<VarDecl>(D)->getNameAsString();
}