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@amd.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
Reviewed-by: Luca Fancellu <luca.fancellu@arm.com>
This commit is contained in:
Stefano Stabellini committed 2023-06-19 12:18:31 -07:00
1 parent d95f436c7d
commit 314a54c1c2
1 file changed
+15
+15
View File
@@ -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
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.