tree c078d8e6189069d66d981df8c1f575baca5524a4
parent dff46d5963fd0199234597a147da6a8dff45705a
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1161049277 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1161049277 +0000

Merge r6134:

Accumulate statistics about the number of searches in the errors and
suppressions lists, and rearrange the suppressions list when searching
to reduce cost of future searches.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6271 a5019735-40e9-0310-863c-91ae7b9d1cf9