From: Ted Kremenek <kremenek@apple.com>
Date: Sat, 23 Aug 2008 00:43:24 +0000 (+0000)
Subject: Added Regions.h: Regions define abstract memory locations for the static analyzer.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f03a8d276ced40f55478bfc29326c4365510e84c;p=clang

Added Regions.h: Regions define abstract memory locations for the static analyzer.


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

diff --git a/include/clang/Analysis/PathSensitive/Regions.h b/include/clang/Analysis/PathSensitive/Regions.h
new file mode 100644
index 0000000000..9fd127c4a7
--- /dev/null
+++ b/include/clang/Analysis/PathSensitive/Regions.h
@@ -0,0 +1,99 @@
+//==- Regions.h - Abstract memory locations ------------------------*- C++ -*-//
+//             
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+//  This file defines Region and its subclasses.  Regions represent abstract
+//  memory locations.
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm/Support/DataTypes.h"
+#include "llvm/Support/Casting.h"
+#include "llvm/ADT/FoldingSet.h"
+
+#ifndef LLVM_CLANG_ANALYSIS_REGIONS_H
+#define LLVM_CLANG_ANALYSIS_REGIONS_H
+
+namespace clang {
+  
+class Region {
+public:
+  enum Kind { Var = 0x0, Anon = 0x1 };
+  
+private:
+  uintptr_t Raw;
+  
+protected:
+  Region(const void* data, Kind kind)
+    : Raw((uintptr_t) data | (uintptr_t) kind) {
+      assert ((reinterpret_cast<uintptr_t>(const_cast<void*>(data)) & 0x1) == 0
+              && "Address must have at least a 2-byte alignment."); 
+    }
+  
+  const void* getData() const { return (const void*) (Raw & ~0x1); }
+  
+public:  
+  // Folding-set profiling.
+  void Profile(llvm::FoldingSetNodeID& ID) const { ID.AddPointer((void*) Raw); }
+
+  // Comparing regions.
+  bool operator==(const Region& R) const { return Raw == R.Raw; }
+  bool operator!=(const Region& R) const { return Raw != R.Raw; }
+
+  // Implement isa<T> support.
+  Kind getKind() const { return Kind (Raw & 0x1); }
+  static inline bool classof(const Region*) { return true; }
+};
+  
+//===----------------------------------------------------------------------===//
+// Region Types.
+//===----------------------------------------------------------------------===//
+  
+class VarRegion : public Region {
+public:
+  VarRegion(VarDecl* VD) : Region(VD, Region::Var) {}
+  
+  /// getDecl - Return the declaration of the variable the region represents.
+  const VarDecl* getDecl() const { return (const VarDecl*) getData(); }  
+  operator const VarDecl*() const { return getDecl(); }
+  
+  // Implement isa<T> support.
+  static inline bool classof(const Region* R) {
+    return R->getKind() == Region::Var;
+  }
+  
+  static inline bool classof(const VarRegion*) {
+    return true;
+  }
+};
+
+class AnonRegion : public Region {
+protected:
+  friend class Region;
+  
+  AnonRegion(uintptr_t RegionID) : Region((void*) (RegionID<<1), Region::Anon) {
+    assert (((RegionID << 1) >> 1) == RegionID);
+  }
+  
+public:
+  
+  uintptr_t getID() const { return ((uintptr_t) getData()) >> 1; }
+  
+  // Implement isa<T> support.
+  static inline bool classof(const Region* R) {
+    return R->getKind() == Region::Anon;
+  }
+  
+  static inline bool classof(const AnonRegion*) {
+    return true;
+  }
+};
+  
+} // end clang namespace
+
+#endif
diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h
index a0a441c4ff..eaa4a78ac6 100644
--- a/include/clang/Analysis/PathSensitive/Store.h
+++ b/include/clang/Analysis/PathSensitive/Store.h
@@ -15,6 +15,7 @@
 #define LLVM_CLANG_ANALYSIS_STORE_H
 
 #include "clang/Analysis/PathSensitive/RValues.h"
+#include "clang/Analysis/PathSensitive/Regions.h"
 #include "llvm/ADT/SmallPtrSet.h"
 #include "llvm/ADT/SmallSet.h"
 #include "llvm/ADT/DenseSet.h"