http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54675
--- Comment #1 from Uros Bizjak <ubizjak at gmail dot com> 2012-09-23 09:23:49 UTC --- I have a patch. __alpha badname should be avoided.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54675
--- Comment #1 from Uros Bizjak <ubizjak at gmail dot com> 2012-09-23 09:23:49 UTC --- I have a patch. __alpha badname should be avoided.