On 2014-06-02 17:34:31 +0200, Andreas Schwab wrote: > Jakub Jelinek <ja...@redhat.com> writes: > > > If C is a power of two, then 1.0 / C should IMHO never overflow, > > It does if C is subnormal.
More precisely, in case of double precision, if C = DBL_MIN / 2, 1.0 / C doesn't overflow, but if C = DBL_MIN / 4 (or is smaller), 1.0 / C overflows. -- 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)
