fix float overflow checki in printf_fast_f, bug #1525093

[fw/sdcc] / device / lib / libsdcc.lib

diff --git a/device/lib/libsdcc.lib b/device/lib/libsdcc.lib
index 0e3ae98252f26bf7302d994f9cd60d3c0be8b4d1..76d60173a616cd480f8a523ace2a44b17ddbebb1 100644 (file)
--- a/device/lib/libsdcc.lib
+++ b/device/lib/libsdcc.lib
@@ -1,3 +1,4 @@
+_setjmp
 _iscntrl
 _isdigit
 _isgraph
@@ -33,8 +34,12 @@ _gptrput
 _decdptr
 _bp
 _spx
+abs
+labs
+rand
 _atoi
 _atol
+_heap
 calloc
 malloc
 realloc