Hi Stefano,

> On 23 Jul 2024, at 23:41, Stefano Stabellini <sstabell...@kernel.org> wrote:
> 
> In practice, we are already following R18.6 and we have zero violations
> reported by ECLAIR (there are some cautions being reported.)
> 
> Signed-off-by: Stefano Stabellini <stefano.stabell...@amd.com>

Acked-by: Bertrand Marquis <bertrand.marq...@arm.com>

Cheers
Bertrand

> 
> diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
> index 80e5e972ad..0cb2fb8f24 100644
> --- a/docs/misra/rules.rst
> +++ b/docs/misra/rules.rst
> @@ -580,6 +580,13 @@ maintainers if you want to suggest a change.
>      - The relational operators > >= < and <= shall not be applied to objects 
> of pointer type except where they point into the same object
>      -
> 
> +   * - `Rule 18.6 
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_06_1.c>`_
> +     - Required
> +     - The address of an object with automatic storage shall not be
> +       copied to another object that persists after the first object has
> +       ceased to exist
> +     -
> +
>    * - `Rule 19.1 
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_19_01.c>`_
>      - Mandatory
>      - An object shall not be assigned or copied to an overlapping


Reply via email to