* device/include/pic16/{pic18f2480.h, pic18f2580.h, pic18f4423.h,

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

diff --git a/device/lib/cotf.c b/device/lib/cotf.c
index 9e8329a57c9fea97e2cd3110485841cd59cbdd4a..9c5a9964656099e85bc65e5595db0c72f4b2c159 100644 (file)
--- a/device/lib/cotf.c
+++ b/device/lib/cotf.c
@@ -1,6 +1,6 @@
 /*  cotf.c: Computes cot(x) where x is a 32-bit float.
 
-    Copyright (C) 2001, 2002  Jesus Calvino-Fraga, jesusc@ieee.org 
+    Copyright (C) 2001, 2002  Jesus Calvino-Fraga, jesusc@ieee.org
 
     This library is free software; you can redistribute it and/or
     modify it under the terms of the GNU Lesser General Public
@@ -23,7 +23,7 @@
 
 float tancotf(const float x, const int iscot);
 
-float cotf(const float x) reentrant
+float cotf(const float x) _FLOAT_FUNC_REENTRANT
 {
     float y;
 
@@ -32,9 +32,9 @@ float cotf(const float x) reentrant
     {
         errno = ERANGE;
         if (x<0.0)
-            return -XMAX;
+            return -HUGE_VALF;
         else
-            return XMAX;
+            return +HUGE_VALF;
     }
     return tancotf(x, 1);
 }