On 31.08.2023 03:53, Stefano Stabellini wrote: > @@ -332,6 +333,17 @@ maintainers if you want to suggest a change. > - A loop counter shall not have essentially floating type > - > > + * - `Rule 14.3 > <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_03.c>`_ > + - Required > + - Controlling expressions shall not be invariant > + - Due to the extensive usage of IS_ENABLED, sizeof compile-time > + checks, and other constructs that are detected as errors by MISRA > + C scanners, managing the configuration of a MISRA C scanner for > + this rule would be unmanageable. Thus, this rule is adopted with > + a project-wide deviation on if and ?: statements.
As before - switch(sizeof(...)) and alike also wants deviating, imo. > + while(0) and while(1) are allowed. ... and alike ... (to also cover e.g. while(true)). Jan
