]> xenbits.xensource.com Git - xen.git/commitdiff
docs/misra: accept 11.7 and 11.8
authorStefano Stabellini <stefano.stabellini@amd.com>
Wed, 13 Sep 2023 23:16:17 +0000 (16:16 -0700)
committerStefano Stabellini <stefano.stabellini@amd.com>
Fri, 15 Sep 2023 01:45:38 +0000 (18:45 -0700)
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>
docs/misra/rules.rst

index 34916e266aa58eb18e834663ab31d09be3bb129d..8e7d17d242a0d8d662a27dbeddc04aa61545216b 100644 (file)
@@ -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