[PATCH] docs/misra: accept 11.7 and 11.8

Stefano Stabellini posted 1 patch 9 months, 1 week ago
Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/20230913231617.2638735-1-sstabellini@kernel.org
docs/misra/rules.rst | 10 ++++++++++
1 file changed, 10 insertions(+)
[PATCH] docs/misra: accept 11.7 and 11.8
Posted by Stefano Stabellini 9 months, 1 week ago
From: Stefano Stabellini <stefano.stabellini@amd.com>

As per the last MISRA C group discussion, let's accept 11.7 (for which
we have no violations) and 11.8.

Signed-off-by: Stefano Stabellini <stefano.stabellini@amd.com>
---
 docs/misra/rules.rst | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
index 34916e266a..8e7d17d242 100644
--- a/docs/misra/rules.rst
+++ b/docs/misra/rules.rst
@@ -363,6 +363,16 @@ maintainers if you want to suggest a change.
 
        CFLAGS="-Warith-conversion -Wno-error=arith-conversion" make -C xen
 
+   * - `Rule 11.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_07.c>`_
+     - Required
+     - A cast shall not be performed between pointer to object and a noninteger arithmetic type
+     -
+
+   * - `Rule 11.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_08.c>`_
+     - Required
+     - A cast shall not remove any const or volatile qualification from the type pointed to by a pointer
+     -
+
    * - `Rule 12.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_12_05.c>`_
      - Mandatory
      - The sizeof operator shall not have an operand which is a function
-- 
2.25.1
Re: [PATCH] docs/misra: accept 11.7 and 11.8
Posted by Jan Beulich 9 months, 1 week ago
On 14.09.2023 01:16, Stefano Stabellini wrote:
> From: Stefano Stabellini <stefano.stabellini@amd.com>
> 
> As per the last MISRA C group discussion, let's accept 11.7 (for which
> we have no violations) and 11.8.
> 
> Signed-off-by: Stefano Stabellini <stefano.stabellini@amd.com>

Acked-by: Jan Beulich <jbeulich@suse.com>