Re: [XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-12-04 Thread Simone Ballarin
On 28/11/23 09:42, Jan Beulich wrote: On 27.11.2023 18:34, Simone Ballarin wrote: On 27/11/23 16:09, Jan Beulich wrote: On 27.11.2023 15:35, Simone Ballarin wrote: On 27/11/23 11:46, Jan Beulich wrote: On 24.11.2023 18:29, Simone Ballarin wrote: --- a/docs/misra/safe.json +++ b/docs/misra/sa

Re: [XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-11-28 Thread Jan Beulich
On 27.11.2023 18:34, Simone Ballarin wrote: > On 27/11/23 16:09, Jan Beulich wrote: >> On 27.11.2023 15:35, Simone Ballarin wrote: >>> On 27/11/23 11:46, Jan Beulich wrote: On 24.11.2023 18:29, Simone Ballarin wrote: > --- a/docs/misra/safe.json > +++ b/docs/misra/safe.json > @@ -2

Re: [XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-11-27 Thread Simone Ballarin
On 27/11/23 16:09, Jan Beulich wrote: On 27.11.2023 15:35, Simone Ballarin wrote: On 27/11/23 11:46, Jan Beulich wrote: On 24.11.2023 18:29, Simone Ballarin wrote: --- a/docs/misra/safe.json +++ b/docs/misra/safe.json @@ -28,6 +28,22 @@ }, { "id": "SAF-3-sa

Re: [XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-11-27 Thread Jan Beulich
On 27.11.2023 15:35, Simone Ballarin wrote: > On 27/11/23 11:46, Jan Beulich wrote: >> On 24.11.2023 18:29, Simone Ballarin wrote: >>> --- a/docs/misra/safe.json >>> +++ b/docs/misra/safe.json >>> @@ -28,6 +28,22 @@ >>> }, >>> { >>> "id": "SAF-3-safe", >>> +

Re: [XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-11-27 Thread Simone Ballarin
On 27/11/23 11:46, Jan Beulich wrote: On 24.11.2023 18:29, Simone Ballarin wrote: Rule 13.1: Initializer lists shall not contain persistent side effects Effects caused by debug/logging macros and functions (like ASSERT, __bad_atomic_size, LOG, etc ...) that crash execution or produce logs are

Re: [XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-11-27 Thread Jan Beulich
On 24.11.2023 18:29, Simone Ballarin wrote: > Rule 13.1: Initializer lists shall not contain persistent side effects > > Effects caused by debug/logging macros and functions (like ASSERT, > __bad_atomic_size, > LOG, etc ...) that crash execution or produce logs are not dangerous in > initializer

[XEN PATCH v2 2/3] xen/arm: add SAF deviation for debugging and logging effects

2023-11-24 Thread Simone Ballarin
Rule 13.1: Initializer lists shall not contain persistent side effects Effects caused by debug/logging macros and functions (like ASSERT, __bad_atomic_size, LOG, etc ...) that crash execution or produce logs are not dangerous in initializer lists. The evaluation order in abnormal conditions is n