https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94743
--- Comment #16 from Christophe Lyon <clyon at gcc dot gnu.org> --- Another potential issue just came to my mind: what if the IRQ handler is compiled with -mfloat-abi=soft but calls a function compiled with -mfloat-abi=softfp? We have no way to guess that the FP registers can be clobbered when compiling the handler.
