[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



commit 682ffdbda496c9565ecec7074835153e0bf66d6d
Author:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
AuthorDate: Wed Jul 24 15:44:14 2024 -0700
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Tue Jul 30 15:14:31 2024 -0700

    docs/misra: add R18.6 to rules.rst
    
    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@xxxxxxx>
    Acked-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
---
 docs/misra/rules.rst | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
index bb7e1ea396..7b366edb07 100644
--- a/docs/misra/rules.rst
+++ b/docs/misra/rules.rst
@@ -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
--
generated by git-patchbot for /home/xen/git/xen.git#master



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.