Re: [PATCH] softfloat: Fix BAD_SHIFT from normalizeFloatx80Subnormal

2020-03-30 Thread Alex Bennée
Richard Henderson writes: > All other calls to normalize*Subnormal detect zero input before > the call -- this is the only outlier. This case can happen with > +0.0 + +0.0 = +0.0 or -0.0 + -0.0 = -0.0, so return a zero of > the correct sign. > > Reported-by: Coverity (CID 1421991) >

[PATCH] softfloat: Fix BAD_SHIFT from normalizeFloatx80Subnormal

2020-03-27 Thread Richard Henderson
All other calls to normalize*Subnormal detect zero input before the call -- this is the only outlier. This case can happen with +0.0 + +0.0 = +0.0 or -0.0 + -0.0 = -0.0, so return a zero of the correct sign. Reported-by: Coverity (CID 1421991) Signed-off-by: Richard Henderson ---