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@lists.xen.org https://lists.xen.org/xen-devel
