Re: [PATCH] docs/misra: add exceptions to rules

On 23.08.2023 02:23, Stefano Stabellini wrote: > On Tue, 22 Aug 2023, Jan Beulich wrote: >> On 22.08.2023 03:40, Stefano Stabellini wrote: >>> If we only mention BUG, we are basically saying that as a general rule >>> only BUG is an exception. Then we have a longer more detailed list for >>> ECLAIR

Re: [PATCH] docs/misra: add exceptions to rules

On 23.08.2023 02:19, Stefano Stabellini wrote: > On Tue, 22 Aug 2023, Jan Beulich wrote: >> (re-adding xen-devel@) >> >> On 22.08.2023 17:09, Nicola Vetrini wrote: >>> >> + - Switch with a controlling value incompatible with labeled >> + statements > > What does th

Re: [PATCH] docs/misra: add exceptions to rules

On Tue, 22 Aug 2023, Jan Beulich wrote: > On 22.08.2023 03:40, Stefano Stabellini wrote: > > On Mon, 21 Aug 2023, Jan Beulich wrote: > >> On 19.08.2023 03:24, Stefano Stabellini wrote: > >>> @@ -106,7 +107,23 @@ maintainers if you want to suggest a change. > >>> * - `Rule 2.1 > >>>

Re: [PATCH] docs/misra: add exceptions to rules

On Tue, 22 Aug 2023, Jan Beulich wrote: > (re-adding xen-devel@) > > On 22.08.2023 17:09, Nicola Vetrini wrote: > > > + - Switch with a controlling value incompatible with labeled > + statements > >>> > >>> What does this mean? > >> > >> I am not certain about this one

Re: [PATCH] docs/misra: add exceptions to rules

(re-adding xen-devel@) On 22.08.2023 17:09, Nicola Vetrini wrote: > + - Switch with a controlling value incompatible with labeled + statements >>> >>> What does this mean? >> >> I am not certain about this one actually. It could be when we have: >> >> switch (var) { >>

Re: [PATCH] docs/misra: add exceptions to rules

On 22.08.2023 03:40, Stefano Stabellini wrote: > On Mon, 21 Aug 2023, Jan Beulich wrote: >> On 19.08.2023 03:24, Stefano Stabellini wrote: >>> @@ -106,7 +107,23 @@ maintainers if you want to suggest a change. >>> * - `Rule 2.1 >>>

Re: [PATCH] docs/misra: add exceptions to rules

On Mon, 21 Aug 2023, Jan Beulich wrote: > On 19.08.2023 03:24, Stefano Stabellini wrote: > > From: Stefano Stabellini > > > > During the discussions that led to the acceptable of the Rules, we > > decided on a few exceptions that were not properly recorded in > > rules.rst. Other times, the excep

Re: [PATCH] docs/misra: add exceptions to rules

On 19.08.2023 03:24, Stefano Stabellini wrote: > From: Stefano Stabellini > > During the discussions that led to the acceptable of the Rules, we > decided on a few exceptions that were not properly recorded in > rules.rst. Other times, the exceptions were decided later when it came > to enabling

[PATCH] docs/misra: add exceptions to rules

From: Stefano Stabellini During the discussions that led to the acceptable of the Rules, we decided on a few exceptions that were not properly recorded in rules.rst. Other times, the exceptions were decided later when it came to enabling a rule in ECLAIR. Either way, update rules.rst with approp