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

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

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
properly.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel