On 2018-02-06 17:32:30 +0000, Joseph Myers wrote: > GCC doesn't use mpfr_div at all; it uses MPFR to fold calls to a range of > libm functions with constant arguments (input and output precisions should > always be the same, since GCC doesn't yet support built-in functions for > the TS 18661-1 narrowing functions such as fsqrtl), and for correctly > rounding conversions of decimal strings to binary floating point. The + - > * / operations are handled directly in real.c without use of MPFR. Of > course MPFR functions called might use mpfr_div indirectly.
Yes, it might be possible to get an error via a call to mpfr_div inside MPFR. And perhaps mpfr_div_ui too (with any MPFR version). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
