[cfe-commits] r45502 - /cfe/trunk/include/clang/Analysis/PathSensitive/SimulVertex.h
Ted Kremenek
kremenek at apple.com
Wed Jan 2 13:31:14 PST 2008
Author: kremenek
Date: Wed Jan 2 15:31:13 2008
New Revision: 45502
URL: http://llvm.org/viewvc/llvm-project?rev=45502&view=rev
Log:
Converted state reference within SimulVertex from StateTy* to StateTy.
This is more flexible.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/SimulVertex.h
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/SimulVertex.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/SimulVertex.h?rev=45502&r1=45501&r2=45502&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/SimulVertex.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/SimulVertex.h Wed Jan 2 15:31:13 2008
@@ -44,7 +44,7 @@
/// 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 @@
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; }
More information about the cfe-commits
mailing list