On Thu, 20 May 2021 at 17:15, Richard Henderson <richard.hender...@linaro.org> wrote: > > On 5/20/21 8:40 AM, Peter Maydell wrote: > > On Sun, 16 May 2021 at 13:38, Richard Henderson > > Hi -- Coverity is suspicious about this line (CID 1453209), > > because udiv_qrrnd()'s prototype is > > static inline uint64_t udiv_qrnnd(uint64_t *r, uint64_t n1, > > uint64_t n0, uint64_t d) > > > > but here we pass n0, n1 rather than n1, n0... > > > > Bug, or false positive ? > > I think it's a false positive. > > Different naming schemes between gcc (from whence qrrnd came, 0 as least > significant element) and the Berkeley softfloat code (0 as most significant > element).
OK; I've marked it as an fp in the coverity UI. thanks -- PMM