Page History

...

Compliant Solution (float to int)

This compliant solution assumes tests to ensure that the range of values of type float is greater than that of an int, as is the case in most implementations. Unfortunately, there is no safe way to inquire about this assumption in the code short of already knowing the implementation. Converting INT_MAX to float is a problem on many implementations, resulting in a number that is one greater than the value of INT_MAX. Converting INT_MIN to float is a problem on many implementations, resulting in a number that is one less than the value of INT_MIN. float value will fit within the int variable before performing the assignment.

#include <float.h>
#include <limits.h>
#include <math.h>
#include <stddef.h>
#include <stdint.h>
 
extern size_t popcount(uintmax_t); /* See INT35-C */
#define PRECISION(umax_value) popcount(umax_value)
 
void func(float f_a) {
  int i_a;
 
  if (f_a >= ((float)PRECISION(INT_MAX - 1.0) ||
      < log2f(f_a < ((float)INT_MIN + 1.0) ||
      (f_a >!= 0.0F && fabsf(f_a) < FLT_MIN)) {
    /* Handle error */
  } else {
    i_a = f_a;
  }
}

...