Re: [Xen-devel] [PATCH] Coverity: Improve model for {, un}map_domain_page()

[Jan Beulich <jbeulich@xxxxxxxx>]

On 06.01.2020 14:28, Andrew Cooper wrote:
> The first attempt resulted in several "Free of address-of
> expression (BAD_FREE)" issues, because of code which relies on the fact that
> any pointer in the same page is ok to pass to unmap_domain_page()
> 
> Model this property to remove the issues.
> 
> Coverity IDs: 1135356 113536{0,1} 1401300 141809{0,1} 1438864
> Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>

Acked-by: Jan Beulich <jbeulich@xxxxxxxx>

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel