| commit | 619d302eba961b833a95dceeac37b810382b6708 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Aug 06 03:39:20 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Aug 06 03:39:20 2009 +0000 |
| tree | 5aa851e2717ef224eb124f2aec896ed702193da9 | |
| parent | fe85cedd58df7daed29201703cfb8806e12876d0 [diff] [blame] |
When profiling an ExplodedNode, don't re-profile the state: they have already been uniqued. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@78279 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/ExplodedGraph.cpp b/lib/Analysis/ExplodedGraph.cpp index c0c0f06..f80aa11 100644 --- a/lib/Analysis/ExplodedGraph.cpp +++ b/lib/Analysis/ExplodedGraph.cpp
@@ -51,7 +51,7 @@ const ProgramPoint& Loc, const GRState* state) { ID.Add(Loc); - state->Profile(ID); + ID.AddPointer(state); } void ExplodedNode::addPredecessor(ExplodedNode* V) {