On Tue, 23 Jun 2020 at 23:01, Joseph Myers <[email protected]> wrote: > > 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.
Thanks; I've marked it as a fp in the coverity UI. -- PMM
