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]>
This should have been present as well, I forgot to add it. -- Nicola Vetrini, BSc Software Engineer, BUGSENG srl (https://bugseng.com)
