[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

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



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