[cfe-commits] r107731 - in /cfe/trunk: include/clang/Checker/PathSensitive/MemRegion.h lib/Checker/MemRegion.cpp

[Ted Kremenek]

Author: kremenek
Date: Tue Jul  6 18:37:21 2010
New Revision: 107731

URL: http://llvm.org/viewvc/llvm-project?rev=107731&view=rev
Log:
Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpaceRegion.

Modified:
    cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h
    cfe/trunk/lib/Checker/MemRegion.cpp

Modified: cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h?rev=107731&r1=107730&r2=107731&view=diff
==============================================================================
--- cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h Tue Jul  6 18:37:21 2010
@@ -172,6 +172,8 @@
 public:
   void Profile(llvm::FoldingSetNodeID &ID) const;
   
+  void dumpToStream(llvm::raw_ostream& os) const;
+
   const CodeTextRegion *getCodeRegion() const { return CR; }
 
   static bool classof(const MemRegion *R) {
@@ -186,6 +188,9 @@
     : GlobalsSpaceRegion(mgr, NonStaticGlobalSpaceRegionKind) {}
   
 public:
+
+  void dumpToStream(llvm::raw_ostream& os) const;
+
   static bool classof(const MemRegion *R) {
     return R->getKind() == NonStaticGlobalSpaceRegionKind;
   }

Modified: cfe/trunk/lib/Checker/MemRegion.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/MemRegion.cpp?rev=107731&r1=107730&r2=107731&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/MemRegion.cpp (original)
+++ cfe/trunk/lib/Checker/MemRegion.cpp Tue Jul  6 18:37:21 2010
@@ -402,7 +402,6 @@
   os << "block_data{" << BC << '}';
 }
 
-
 void CompoundLiteralRegion::dumpToStream(llvm::raw_ostream& os) const {
   // FIXME: More elaborate pretty-printing.
   os << "{ " << (void*) CL <<  " }";
@@ -421,6 +420,10 @@
   os << superRegion << "->" << getDecl();
 }
 
+void NonStaticGlobalSpaceRegion::dumpToStream(llvm::raw_ostream &os) const {
+  os << "NonStaticGlobalSpaceRegion";
+}
+
 void ObjCIvarRegion::dumpToStream(llvm::raw_ostream& os) const {
   os << "ivar{" << superRegion << ',' << getDecl() << '}';
 }
@@ -445,6 +448,10 @@
   os << "raw_offset{" << getRegion() << ',' << getByteOffset() << '}';
 }
 
+void StaticGlobalSpaceRegion::dumpToStream(llvm::raw_ostream &os) const {
+  os << "StaticGlobalsMemSpace{" << CR << '}';
+}
+
 //===----------------------------------------------------------------------===//
 // MemRegionManager methods.
 //===----------------------------------------------------------------------===//