[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH v3] xen/arm: fix rank/vgic lock inversion bug

On Thu, 2 Feb 2017, Artem Mygaiev wrote:
> Hello Julien, Stefano
> [coverity-related question]
> On 27.01.17 20:11, Julien Grall wrote:
> > (CC Artem as ARM coverity admin)
> >> Coverity-ID: 1381855
> >> Coverity-ID: 1381853
> >
> > I am bit confused... somehow those numbers disappeared from the main 
> > Coverity page. Which means Coverity think they have been fixed. However 
> > this patch is not yet upstreamed. Artem, are you testing Xen upstream?
> I have re-run the Coverity Scan with upstream but still those are still 
> marked as fixed in Coverity due to code changes, i.e. it is not forced to 
> "fixed" state manually.
> I went through the code and didn't notice any changes that would lead to this 
> and I do not understand how this got fixed. I can try and bisect unless you 
> have some ideas...

Hi Artem, thanks for looking into it, but I don't know if it's worth
spending too much time on finding the reason why Coverity isn't spotting
it anymore: I think we understand the problem well enough to fix it

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.