http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45785
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> 2010-10-16 13:17:14 UTC --- I get the feeling search isn't as quick as it used to be, but it's just a feeling without any data to support it. However, I haven't seen a search failure for some time now.
