[xen master] docs/misra: add rule 12.2

[patchbot@xxxxxxx]

commit 404135d408b562dd73a57ff7d070a407651bfa66
Author:     Stefano Stabellini <sstabellini@xxxxxxxxxx>
AuthorDate: Fri Jul 12 15:45:54 2024 -0700
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Tue Jul 30 15:14:31 2024 -0700

    docs/misra: add rule 12.2
    
    As discussed during the last MISRA C meeting, add Rule 12.2 to the list
    of MISRA C rules we accept, together with an explanation that we use gcc
    -fsanitize=undefined to check for violations.
    
    Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 docs/misra/rules.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
index 2e11566e20..bb7e1ea396 100644
--- a/docs/misra/rules.rst
+++ b/docs/misra/rules.rst
@@ -443,6 +443,14 @@ maintainers if you want to suggest a change.
      - The macro NULL shall be the only permitted form of null pointer constant
      -
 
+   * - `Rule 12.2 
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_12_02.c>`_
+     - Required
+     - The right hand operand of a shift operator shall lie in the range
+       zero to one less than the width in bits of the essential type of
+       the left hand operand
+     - We rely on gcc -fsanitize=undefined to check for dangerious
+       violations to this rule and to ensure compliance
+
    * - `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
--
generated by git-patchbot for /home/xen/git/xen.git#master