diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-08-06 03:39:20 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-08-06 03:39:20 +0000 |
| commit | ed31f99efbb2002d535e0151b0d3f5f2f18d853e (patch) | |
| tree | f3b3345207ea306540043fc7d5d974c772b61a4a /clang/lib/Analysis/ExplodedGraph.cpp | |
| parent | d806156d5459555168540fdf3db4f473cd3f81cf (diff) | |
| download | bcm5719-llvm-ed31f99efbb2002d535e0151b0d3f5f2f18d853e.tar.gz bcm5719-llvm-ed31f99efbb2002d535e0151b0d3f5f2f18d853e.zip | |
When profiling an ExplodedNode, don't re-profile the state: they have
already been uniqued.
llvm-svn: 78279
Diffstat (limited to 'clang/lib/Analysis/ExplodedGraph.cpp')
| -rw-r--r-- | clang/lib/Analysis/ExplodedGraph.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/ExplodedGraph.cpp b/clang/lib/Analysis/ExplodedGraph.cpp index c0c0f0636ba..f80aa113e41 100644 --- a/clang/lib/Analysis/ExplodedGraph.cpp +++ b/clang/lib/Analysis/ExplodedGraph.cpp @@ -51,7 +51,7 @@ void ExplodedNode::Profile(llvm::FoldingSetNodeID& ID, const ProgramPoint& Loc, const GRState* state) { ID.Add(Loc); - state->Profile(ID); + ID.AddPointer(state); } void ExplodedNode::addPredecessor(ExplodedNode* V) { |
