]> xenbits.xensource.com Git - xen.git/commitdiff
docs/misra: add R18.6 to rules.rst
authorStefano Stabellini <stefano.stabellini@amd.com>
Wed, 24 Jul 2024 22:44:14 +0000 (15:44 -0700)
committerStefano Stabellini <stefano.stabellini@amd.com>
Tue, 30 Jul 2024 22:14:31 +0000 (15:14 -0700)
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>
docs/misra/rules.rst

index bb7e1ea39612a8462ffe5ab37c3fcd58ea23ea35..7b366edb07b05effea91bf8bc067d1159c58b2e0 100644 (file)
@@ -593,6 +593,13 @@ maintainers if you want to suggest a change.
      - Variable-length array types shall not be used
      -
 
+   * - `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