|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen master] xen/misra: add rules 1.4 and 2.1
commit 314a54c1c2805883f50582c40308554a102fdb8a
Author: Stefano Stabellini <stefano.stabellini@xxxxxxx>
AuthorDate: Thu Jun 15 14:27:16 2023 -0700
Commit: Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Mon Jun 19 12:18:31 2023 -0700
xen/misra: add rules 1.4 and 2.1
Also add a comment at the top of the file to say rules.rst could be
changed.
Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
Reviewed-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
Reviewed-by: Luca Fancellu <luca.fancellu@xxxxxxx>
---
docs/misra/rules.rst | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
index a88c284e7d..11b9c42b70 100644
--- a/docs/misra/rules.rst
+++ b/docs/misra/rules.rst
@@ -32,6 +32,9 @@ violations are meant to be documented as deviations, while
some others
should be fixed. Both compliance and documenting deviations on the
existing codebase are work-in-progress.
+The list below might need to be updated over time. Reach out to THE REST
+maintainers if you want to suggest a change.
+
.. list-table::
:header-rows: 1
@@ -90,6 +93,18 @@ existing codebase are work-in-progress.
behaviour
-
+ * - `Rule 1.4
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/>`_
+ - Required
+ - Emergent language features shall not be used
+ - Emergent language features, such as C11 features, should not be
+ confused with similar compiler extensions, which we use. When the
+ time comes to adopt C11, this rule will be revisited.
+
+ * - `Rule 2.1
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_01_1.c>`_
+ - Required
+ - A project shall not contain unreachable code
+ -
+
* - `Rule 2.6
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_06.c>`_
- Advisory
- A function should not contain unused label declarations
--
generated by git-patchbot for /home/xen/git/xen.git#master
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |