diff options
author | stijn <stijn@ignitron.net> | 2020-04-06 10:44:48 +0200 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2020-04-18 22:42:24 +1000 |
commit | f31f9a8b70db03cbcbcf39b493f959d0e284962a (patch) | |
tree | 46fcd60b5bbae415494fd55a9ba707ddb87021e5 /py/objint.c | |
parent | 70affd9ba22e7f62666a9a2fafc2a3c0be9ef95a (diff) |
py/objint: Do not use fpclassify.
For combinations of certain versions of glibc and gcc the definition of
fpclassify always takes float as argument instead of adapting itself to
float/double/long double as required by the C99 standard. At the time of
writing this happens for instance for glibc 2.27 with gcc 7.5.0 when
compiled with -Os and glibc 3.0.7 with gcc 9.3.0. When calling fpclassify
with double as argument, as in objint.c, this results in an implicit
narrowing conversion which is not really correct plus results in a warning
when compiled with -Wfloat-conversion. So fix this by spelling out the
logic manually.
Diffstat (limited to 'py/objint.c')
-rw-r--r-- | py/objint.c | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/py/objint.c b/py/objint.c index 93cd2778e..4619fb575 100644 --- a/py/objint.c +++ b/py/objint.c @@ -135,11 +135,15 @@ STATIC mp_fp_as_int_class_t mp_classify_fp_as_int(mp_float_t val) { #undef MP_FLOAT_EXP_SHIFT_I32 mp_obj_t mp_obj_new_int_from_float(mp_float_t val) { - int cl = fpclassify(val); - if (cl == FP_INFINITE) { - mp_raise_msg(&mp_type_OverflowError, MP_ERROR_TEXT("can't convert inf to int")); - } else if (cl == FP_NAN) { - mp_raise_ValueError(MP_ERROR_TEXT("can't convert NaN to int")); + mp_float_union_t u = {val}; + // IEEE-754: if biased exponent is all 1 bits... + if (u.p.exp == ((1 << MP_FLOAT_EXP_BITS) - 1)) { + // ...then number is Inf (positive or negative) if fraction is 0, else NaN. + if (u.p.frc == 0) { + mp_raise_msg(&mp_type_OverflowError, MP_ERROR_TEXT("can't convert inf to int")); + } else { + mp_raise_ValueError(MP_ERROR_TEXT("can't convert NaN to int")); + } } else { mp_fp_as_int_class_t icl = mp_classify_fp_as_int(val); if (icl == MP_FP_CLASS_FIT_SMALLINT) { |