From 404135d408b562dd73a57ff7d070a407651bfa66 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Fri, 12 Jul 2024 15:45:54 -0700 Subject: [PATCH] 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 Acked-by: Jan Beulich --- 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 `_ + - 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 `_ - Mandatory - The sizeof operator shall not have an operand which is a function