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

[Artem Mygaiev <artem_mygaiev@xxxxxxxx>]

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

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