On 24.04.2024 14:23, Federico Serafini wrote: > Update ECLAIR configuration to take into account the deviations > agreed during MISRA meetings. > > Amend an existing entry of Rule 14.4 in deviations.rst: > it is not a project-wide deviation.
Who / how is it not? ->is_dying is a globally visible struct field. > --- a/docs/misra/deviations.rst > +++ b/docs/misra/deviations.rst > @@ -294,7 +294,13 @@ Deviations related to MISRA C:2012 Rules: > - The XEN team relies on the fact that the enum is_dying has the > constant with assigned value 0 act as false and the other ones as > true, > therefore have the same behavior of a boolean. > - - Project-wide deviation; tagged as `deliberate` for ECLAIR. > + - Tagged as `deliberate` for ECLAIR. > + > + * - R14.4 > + - A controlling expression of 'if' and iteration statements having > + integer, character or pointer type has a semantics that is well-known > to > + all Xen developers. > + - Tagged as `deliberate` for ECLAIR. I'm inclined to suggest that this more generic deviation be inserted ahead of the more specific ->is_dying one. Jan
