replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Converted state reference within SimulVertex from StateTy* to StateTy. 

This is more flexible.

llvm-svn: 45502
This commit is contained in:
Ted Kremenek 2008-01-02 21:31:13 +00:00
parent 9a6774064b
commit c7523bcaaa
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
clang/include/clang/Analysis/PathSensitive/SimulVertex.h
View 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; }