[xen master] docs/misra: add 13.6 to rules.rst

[patchbot@xxxxxxx]

commit 6117179dd99958e4ef2687617d12c9b15bdbae24
Author:     Stefano Stabellini <sstabellini@xxxxxxxxxx>
AuthorDate: Tue Apr 2 16:21:41 2024 -0700
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Wed Apr 3 16:21:59 2024 -0700

    docs/misra: add 13.6 to rules.rst
    
    As agreed during MISRA C meetings, add Rule 13.6 to rules.rst, with a
    note about extending the rule to alignof and typeof. Also take the
    opportunity to remove an older and out of order entry for the same rule.
    
    Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 docs/misra/rules.rst | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
index 1e134ccebc..79487cf91c 100644
--- a/docs/misra/rules.rst
+++ b/docs/misra/rules.rst
@@ -434,17 +434,18 @@ maintainers if you want to suggest a change.
        parameter declared as "array of type"
      -
 
-   * - `Rule 13.6 
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_06.c>`_
-     - Mandatory
-     - The operand of the sizeof operator shall not contain any
-       expression which has potential side effects
-     -
-
    * - `Rule 13.1 
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_01_1.c>`_
      - Required
      - Initializer lists shall not contain persistent side effects
      -
 
+   * - `Rule 13.6 
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_06.c>`_
+     - Required
+     - The operand of the sizeof operator shall not contain any
+       expression which has potential side effects
+     - In addition to sizeof, we also want to apply the rule to typeof
+       and alignof
+
    * - `Rule 14.1 
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_01.c>`_
      - Required
      - A loop counter shall not have essentially floating type
--
generated by git-patchbot for /home/xen/git/xen.git#master