https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88877
--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> --- There is no bug, so we don't have to do anything. To make slightly better code we could make the soft float routines be prototyped?
