[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/5] target/i386: implement special cases for fxtract
From: |
Peter Maydell |
Subject: |
Re: [PATCH 1/5] target/i386: implement special cases for fxtract |
Date: |
Thu, 25 Jun 2020 10:43:13 +0100 |
On Tue, 23 Jun 2020 at 23:01, Joseph Myers <joseph@codesourcery.com> 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