When profiling an ExplodedNode, don't re-profile the state: they have

already been uniqued.

llvm-svn: 78279
This commit is contained in:
Ted Kremenek 2009-08-06 03:39:20 +00:00
parent d806156d54
commit ed31f99efb
1 changed files with 1 additions and 1 deletions

View File

@ -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) {