http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55577
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-03 18:43:58 UTC --- Everybody has them, I've said in the mail containing the patch that there are a few unanalyzed failures, and what the reasons for some of those failures are (e.g. not instrumenting bitfields yet).