use FLT_MAX in safe_float functions

csmith-project · Sep 21, 2014 · bc4444e · bc4444e
1 parent 6677b4e
commit bc4444e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/runtime/safe_math.m4 b/runtime/safe_math.m4
@@ -297,7 +297,7 @@ FUNC_NAME(add_func_$1_f_f)($1 sf1, $1 sf2 LOG_INDEX)
   LOG_EXEC
   return 
 #ifndef UNSAFE_FLOAT
-    (fabs((0.5 * sf1) + (0.5 * sf2)) > (0.5 * DBL_MAX)) ? 
+    (fabs((0.5 * sf1) + (0.5 * sf2)) > (0.5 * FLT_MAX)) ? 
     UNDEFINED(sf1) :
 #endif
     (sf1 + sf2);
@@ -309,7 +309,7 @@ FUNC_NAME(sub_func_$1_f_f)($1 sf1, $1 sf2 LOG_INDEX)
   LOG_EXEC
   return 
 #ifndef UNSAFE_FLOAT
-    (fabs((0.5 * sf1) - (0.5 * sf2)) > (0.5 * DBL_MAX)) ? 
+    (fabs((0.5 * sf1) - (0.5 * sf2)) > (0.5 * FLT_MAX)) ? 
     UNDEFINED(sf1) :
 #endif
     (sf1 - sf2);
@@ -321,7 +321,7 @@ FUNC_NAME(mul_func_$1_f_f)($1 sf1, $1 sf2 LOG_INDEX)
   LOG_EXEC
   return 
 #ifndef UNSAFE_FLOAT
-    (fabs((0x1.0p-512 * sf1) * (0x1.0p-512 * sf2)) > (0x1.0p-1024 * DBL_MAX)) ?
+    (fabs((0x1.0p-512 * sf1) * (0x1.0p-512 * sf2)) > (0x1.0p-1024 * FLT_MAX)) ?
     UNDEFINED(sf1) :
 #endif
     (sf1 * sf2);
@@ -333,7 +333,7 @@ FUNC_NAME(div_func_$1_f_f)($1 sf1, $1 sf2 LOG_INDEX)
   LOG_EXEC
   return 
 #ifndef UNSAFE_FLOAT
-    (((sf2 == 0.0) || (fabs((0x1.0p-600 * sf1) / (0x1.0p600 * sf2))) > (0x1.0p-1000 * DBL_MAX))) ?
+    (((sf2 == 0.0) || (fabs((0x1.0p-600 * sf1) / (0x1.0p600 * sf2))) > (0x1.0p-1000 * FLT_MAX))) ?
     UNDEFINED(sf1) :
 #endif
     (sf1 / sf2);