Hi Stefano,
> On 13 Feb 2024, at 23:33, Stefano Stabellini <stefano.stabell...@amd.com> > wrote: > > Signed-off-by: Stefano Stabellini <stefano.stabell...@amd.com> Coherent with what was discussed during the Misra meeting so: Acked-by: Bertrand Marquis <bertrand.marq...@arm.com> Cheers Bertrand > --- > docs/misra/rules.rst | 9 +++++++++ > 1 file changed, 9 insertions(+) > > diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst > index 931158b354..3e6f94d7bd 100644 > --- a/docs/misra/rules.rst > +++ b/docs/misra/rules.rst > @@ -468,6 +468,15 @@ maintainers if you want to suggest a change. > > while(0) and while(1) and alike are allowed. > > + * - `Rule 14.4 > <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_04.c>`_ > + - Required > + - The controlling expression of an if-statement and the controlling > + expression of an iteration-statement shall have essentially > + Boolean type > + - Automatic conversions of integer types to bool are permitted. > + Automatic conversions of pointer types to bool are permitted. > + This rule still applies to enum types. > + > * - `Rule 16.3 > <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_03.c>`_ > - Required > - An unconditional break statement shall terminate every > -- > 2.25.1 > >
