https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55212
--- Comment #3 from Oleg Endo <olegendo at gcc dot gnu.org> --- Created attachment 33465 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33465&action=edit problematic libgcc divsc3 function
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55212
--- Comment #3 from Oleg Endo <olegendo at gcc dot gnu.org> --- Created attachment 33465 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33465&action=edit problematic libgcc divsc3 function