http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56656
--- Comment #14 from Uros Bizjak <ubizjak at gmail dot com> 2013-03-21 09:40:13 UTC --- Fixed for good.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56656
--- Comment #14 from Uros Bizjak <ubizjak at gmail dot com> 2013-03-21 09:40:13 UTC --- Fixed for good.