fix float overflow checki in printf_fast_f, bug #1525093

[fw/sdcc] / device / lib / _fsreturnval.c

diff --git a/device/lib/_fsreturnval.c b/device/lib/_fsreturnval.c
index 798f934b7765aaf96181b5ae9a6200afbe30ac7d..6dfc85cf450916922354e435a5ca6a8db77538b1 100644 (file)
--- a/device/lib/_fsreturnval.c
+++ b/device/lib/_fsreturnval.c
@@ -21,6 +21,9 @@
 #define SDCC_FLOAT_LIB
 #include <float.h>
 
+
+#ifdef FLOAT_ASM_MCS51
+
 static void dummy(void) _naked
 {
        _asm
@@ -99,3 +102,5 @@ fs_return_nan:
        _endasm;
 }
 
+#endif
+