On Fri, 3 Nov 2023, Nicola Vetrini wrote: > On 2023-11-03 18:58, Nicola Vetrini wrote: > > Static analysis tools may detect a possible null > > pointer dereference at line 760 (the memcpy call) > > of xen/common/domain.c. This ASSERT helps them in > > detecting that such a condition is not possible > > and also provides a basic sanity check. > > > Suggested-by: Julien Grall <[email protected]> > > Signed-off-by: Nicola Vetrini <[email protected]>
Acked-by: Stefano Stabellini <[email protected]>
