[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 |