mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
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@amd.com> Acked-by: Bertrand Marquis <bertrand.marquis@arm.com>
This commit is contained in:
1 parent
404135d408
commit
682ffdbda4
1 file changed
+7
@@ -593,6 +593,13 @@ maintainers if you want to suggest a change.
|
|||||||
- Variable-length array types shall not be used
|
- 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>`_
|
* - `Rule 19.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_19_01.c>`_
|
||||||
- Mandatory
|
- Mandatory
|
||||||
- An object shall not be assigned or copied to an overlapping
|
- An object shall not be assigned or copied to an overlapping
|
||||||
|
|||||||