]> granicus.if.org Git - clang/commitdiff
Converted state reference within SimulVertex from StateTy* to StateTy.
authorTed Kremenek <kremenek@apple.com>
Wed, 2 Jan 2008 21:31:13 +0000 (21:31 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 2 Jan 2008 21:31:13 +0000 (21:31 +0000)
This is more flexible.

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

include/clang/Analysis/PathSensitive/SimulVertex.h

index 9ca4b012ae8499bf48c5b042dda91a96201391c6..20f81e85cee2188ef6442172da6412cc44a273a9 100644 (file)
@@ -44,7 +44,7 @@ private:
   /// State - The state associated with this vertex. Normally this value
   ///  is immutable, but we anticipate there will be times when algorithms
   ///  that directly manipulate the analysis graph will need to change it.
-  StateTy* State;
+  StateTy State;
 
   /// Predecessors/Successors - Keep track of the predecessor/successor
   /// vertices.
@@ -57,11 +57,11 @@ private:
   AdjacentVertices Succs;
 
 public:
-  explicit SimulVertex(unsigned ID, const ProgramEdge& loc, StateTy* state)
+  explicit SimulVertex(unsigned ID, const ProgramEdge& loc, StateTy& state)
     : VertexID(ID), Location(loc), State(state) {}
     
   // Accessors.
-  StateTy* getState() const { return State; }
+  const StateTy& getState() const { return State; }
   const ProgramEdge& getLocation() const { return Location; }
   unsigned getVertexID() const { return VertexID; }