Re: [XEN PATCH v2] domain: add ASSERT to help static analysis tools

2023-11-24 Thread Nicola Vetrini
On 2023-11-17 10:21, Nicola Vetrini wrote: Static analysis tools may detect a possible null pointer dereference of 'config'. This ASSERT helps them in detecting that such a condition is not possible given that only real domains can enter this branch, which are guaranteeed to have a non-NULL confi

[XEN PATCH v2] domain: add ASSERT to help static analysis tools

2023-11-17 Thread Nicola Vetrini
Static analysis tools may detect a possible null pointer dereference of 'config'. This ASSERT helps them in detecting that such a condition is not possible given that only real domains can enter this branch, which are guaranteeed to have a non-NULL config at this point, but this information is not