From 67f6063b1bf0a100b0ed9c98d80533fb712e6013 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Mon, 10 Jul 2023 13:28:35 -0700 Subject: [PATCH] docs/misra: add Rule 7.4 and 9.4 Rule 9.4 is non-controversial and we have no violations. Rule 7.4 is considered a good idea with the caveat that assigning a string literal to const void is allowed. I added a note to specify it. Signed-off-by: Stefano Stabellini Acked-by: Jan Beulich Reviewed-by: Luca Fancellu --- docs/misra/rules.rst | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index 622f35410c..72aa986bce 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -203,6 +203,15 @@ maintainers if you want to suggest a change. - The lowercase character l shall not be used in a literal suffix - + * - `Rule 7.4 `_ + - Required + - A string literal shall not be assigned to an object unless the + object type is pointer to const-qualified char + - All "character types" are permitted, as long as the string + element type and the character type match. (There should be no + casts.) Assigning a string literal to any object with type + "pointer to const-qualified void" is allowed. + * - `Rule 8.1 `_ - Required - Types shall be explicitly specified @@ -275,6 +284,11 @@ maintainers if you want to suggest a change. braces - + * - `Rule 9.4 `_ + - Required + - An element of an object shall not be initialized more than once + - + * - `Rule 12.5 `_ - Mandatory - The sizeof operator shall not have an operand which is a function