Fix small bugs in fpm handling to keep GCC quiet
authorHenning Rogge <hrogge@googlemail.com>
Sun, 16 Aug 2009 10:59:59 +0000 (12:59 +0200)
committerHenning Rogge <hrogge@googlemail.com>
Sun, 16 Aug 2009 10:59:59 +0000 (12:59 +0200)
src/fpm.c
src/fpm.h

index 5fad8ec..681f9a6 100644 (file)
--- a/src/fpm.c
+++ b/src/fpm.c
@@ -51,7 +51,8 @@ fpm
 itofpm(int i)
 {
   fpm r;
-  assert(FPM_MIN <= i && i <= FPM_MAX);
+  assert(fpmtoi_def(FPM_MIN) <= i);
+  assert(i <= fpmtoi_def(FPM_INT_MAX));
   r = (fpm) itofpm_def(i);
   return r;
 }
@@ -187,12 +188,6 @@ fpmtoa(fpm a)
   return ret[idx];
 }
 
-const char *
-etxtoa(fpm etx)
-{
-  return etx >= INFINITE_ETX ? "INF" : fpmtoa(etx);
-}
-
 #else /* USE_FPM */
 
 float
@@ -214,12 +209,6 @@ fpmtoa(float a)
   return ret[idx];
 }
 
-const char *
-etxtoa(float etx)
-{
-  return etx >= INFINITE_ETX ? "INF" : fpmtoa(etx);
-}
-
 #endif /* USE_FPM */
 
 /*
index a31d532..d471f82 100644 (file)
--- a/src/fpm.h
+++ b/src/fpm.h
@@ -164,7 +164,6 @@ fpm fpmldiv(fpm a, fpm b);
 
 fpm atofpm(const char *);
 const char *fpmtoa(fpm);
-const char *etxtoa(fpm);
 
 #else /* USE_FPM */
 
@@ -176,7 +175,6 @@ const char *etxtoa(fpm);
 
 float atofpm(const char *);
 const char *fpmtoa(float);
-const char *etxtoa(float);
 
 #endif /* USE_FPM */