http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55577
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-03 18:48:08 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). Ah, sorry. You can XFAIL them in the meantime though, adding testcases that don't pass is a bit weird in my opinion.