Re: [Xen-devel] False positive coverity bug id: 1351218

2016-02-18 Thread Andrew Cooper
On 18/02/16 15:36, Harmandeep Kaur wrote: > This is about a Coverity bug (included in the end), which I think is > a false positive. I don't think pagesize can be zero in any case. > pagesize = 1 << (((flags >> TMEM_POOL_PAGESIZE_SHIFT) & > TMEM_POOL_PAGESIZE_MASK) +

[Xen-devel] False positive coverity bug id: 1351218

2016-02-18 Thread Harmandeep Kaur
This is about a Coverity bug (included in the end), which I think is a false positive. I don't think pagesize can be zero in any case. pagesize = 1 << (((flags >> TMEM_POOL_PAGESIZE_SHIFT) & TMEM_POOL_PAGESIZE_MASK) + 12); Which means "pagesize > bufsize" will always