|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen staging] 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#staging
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |