Mailing List Archive

commit 6117179dd99958e4ef2687617d12c9b15bdbae24
Author: Stefano Stabellini <sstabellini@kernel.org>
AuthorDate: Tue Apr 2 16:21:41 2024 -0700
Commit: Stefano Stabellini <stefano.stabellini@amd.com>
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@amd.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
---
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