On 13.02.2024 23:33, Stefano Stabellini wrote: > Signed-off-by: Stefano Stabellini <stefano.stabell...@amd.com> > --- > docs/misra/rules.rst | 6 ++++++ > 1 file changed, 6 insertions(+) > > diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst > index c185366966..931158b354 100644 > --- a/docs/misra/rules.rst > +++ b/docs/misra/rules.rst > @@ -181,6 +181,12 @@ maintainers if you want to suggest a change. > headers (xen/include/public/) are allowed to retain longer > identifiers for backward compatibility. > > + * - `Rule 5.5 > <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_05.c>`_ > + - Required > + - Identifiers shall be distinct from macro names > + - Clashes between function-like macros and non-callable entities > + are allowed. The pattern #define x x is also allowed.
Just for me to know what exactly is covered (hence also a question to Roberto as to [to be] implemented Eclair behavior): Even when the above would be sufficient (and imo better) people frequently write #define a(x, y) b(x, y) which, transformed to the specific case here, would then be #define a(x, y) a(x, y) I'd assume such ought to also be covered, but that's not clear from the spelling above. Jan
