From a60067f39882a4f40547fc0cd8177bac89cb01b7 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Fri, 15 Dec 2023 13:09:22 -0800 Subject: [PATCH] docs/misra/rules.rst: add Rule 16.2 Signed-off-by: Stefano Stabellini Acked-by: Julien Grall --- docs/misra/rules.rst | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index 1dc3fa4c9d..d1996b9a2b 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -469,6 +469,15 @@ maintainers if you want to suggest a change. - In addition to break, also other unconditional flow control statements such as continue, return, goto are allowed. + * - `Rule 16.2 `_ + - Required + - A switch label shall only be used when the most closely-enclosing + compound statement is the body of a switch statement + - The x86 emulator (xen/arch/x86/x86_emulate*) is exempt from + compliance with this rule. Efforts to make the x86 emulator + adhere to Rule 16.2 would result in increased complexity and + maintenance difficulty, and could potentially introduce bugs. + * - `Rule 16.7 `_ - Required - A switch-expression shall not have essentially Boolean type