The implementation of the attribute interrupt_save_fp is incomplete.  Therefore, there should be no diagnostics which recommend it. 

The current documentation of support for interrupts notes that it is the user's responsibility to preserve VFP registers.  This continues to be the case.  In the most common cases, VFP registers are not modified by the interrupt, and thus do not need to be preserved.