| commit | ed31f99efbb2002d535e0151b0d3f5f2f18d853e | [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 | f3b3345207ea306540043fc7d5d974c772b61a4a | |
| parent | d806156d5459555168540fdf3db4f473cd3f81cf [diff] |
When profiling an ExplodedNode, don't re-profile the state: they have already been uniqued. llvm-svn: 78279