[Bug testsuite/47013] FAIL: gcc.dg/sms-*.c scan-rtl-dump-times sms "SMS succeeded" *

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47013

--- Comment #13 from Dominique d'Humieres <dominiq at lps dot ens.fr> 
2012-01-12 16:58:36 UTC ---
Closing as fixed.