docs/misra: add R18.6 to rules.rst

[PATCH] docs/misra: add R18.6 to rules.rst

Posted by Stefano Stabellini 4 months ago

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.stabellini@amd.com>

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

Re: [PATCH] docs/misra: add R18.6 to rules.rst

Posted by Bertrand Marquis 4 months ago

Hi Stefano,

> On 23 Jul 2024, at 23:41, Stefano Stabellini <sstabellini@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.stabellini@amd.com>

Acked-by: Bertrand Marquis <bertrand.marquis@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