http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54184
--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-09-06 17:06:07 UTC --- What about gcc.dg/pr52558-2.c and gcc.dg/tm/reg-promotion.c not handled by the patch posted at http://gcc.gnu.org/ml/gcc-patches/2012-09/msg00390.html?
