On Tue, 23 Jun 2020, Eduardo Habkost wrote:
> > + if (EXPD(temp) == 0) {
> > + int shift = clz64(temp.l.lower);
> > + temp.l.lower <<= shift;
>
> Coverity reports the following. It looks like a false positive
> because floatx80_is_zero() would be true if both EXPD(temp) and
> temp.l.lower were zero, but maybe I'm missing something.Yes, that looks like a false positive to me. -- Joseph S. Myers [email protected]
