Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-11 Thread Simone Ballarin
On 09/02/24 23:13, Stefano Stabellini wrote: On Wed, 7 Feb 2024, Simone Ballarin wrote: On 07/02/24 11:24, Jan Beulich wrote: On 07.02.2024 11:03, Simone Ballarin wrote: On 06/02/24 13:04, Jan Beulich wrote: On 02.02.2024 16:16, Simone Ballarin wrote: Rule 13.1: Initializer lists shall not c

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-09 Thread Stefano Stabellini
On Wed, 7 Feb 2024, Simone Ballarin wrote: > On 07/02/24 11:24, Jan Beulich wrote: > > On 07.02.2024 11:03, Simone Ballarin wrote: > > > On 06/02/24 13:04, Jan Beulich wrote: > > > > On 02.02.2024 16:16, Simone Ballarin wrote: > > > > > Rule 13.1: Initializer lists shall not contain persistent side

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-09 Thread Stefano Stabellini
On Fri, 9 Feb 2024, Jan Beulich wrote: > On 09.02.2024 10:25, Simone Ballarin wrote: > > On 07/02/24 13:40, Jan Beulich wrote: > >> On 07.02.2024 13:21, Simone Ballarin wrote: > >>> On 07/02/24 11:24, Jan Beulich wrote: > On 07.02.2024 11:03, Simone Ballarin wrote: > > On 06/02/24 13:04, J

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-09 Thread Jan Beulich
On 09.02.2024 10:25, Simone Ballarin wrote: > On 07/02/24 13:40, Jan Beulich wrote: >> On 07.02.2024 13:21, Simone Ballarin wrote: >>> On 07/02/24 11:24, Jan Beulich wrote: On 07.02.2024 11:03, Simone Ballarin wrote: > On 06/02/24 13:04, Jan Beulich wrote: >> On 02.02.2024 16:16, Simon

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-09 Thread Simone Ballarin
On 07/02/24 13:40, Jan Beulich wrote: On 07.02.2024 13:21, Simone Ballarin wrote: On 07/02/24 11:24, Jan Beulich wrote: On 07.02.2024 11:03, Simone Ballarin wrote: On 06/02/24 13:04, Jan Beulich wrote: On 02.02.2024 16:16, Simone Ballarin wrote: Rule 13.1: Initializer lists shall not contain

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-07 Thread Jan Beulich
On 07.02.2024 13:21, Simone Ballarin wrote: > On 07/02/24 11:24, Jan Beulich wrote: >> On 07.02.2024 11:03, Simone Ballarin wrote: >>> On 06/02/24 13:04, Jan Beulich wrote: On 02.02.2024 16:16, Simone Ballarin wrote: > Rule 13.1: Initializer lists shall not contain persistent side effects

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-07 Thread Simone Ballarin
On 07/02/24 11:24, Jan Beulich wrote: On 07.02.2024 11:03, Simone Ballarin wrote: On 06/02/24 13:04, Jan Beulich wrote: On 02.02.2024 16:16, Simone Ballarin wrote: Rule 13.1: Initializer lists shall not contain persistent side effects Effects caused by debug/logging macros and functions (like

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-07 Thread Jan Beulich
On 07.02.2024 11:03, Simone Ballarin wrote: > On 06/02/24 13:04, Jan Beulich wrote: >> On 02.02.2024 16:16, 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_

Re: [XEN PATCH v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-07 Thread Simone Ballarin
On 06/02/24 13:04, Jan Beulich wrote: On 02.02.2024 16:16, 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 v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-06 Thread Jan Beulich
On 02.02.2024 16:16, 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 v4 1/4] xen: add SAF deviation for debugging and logging effects

2024-02-02 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