[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [XEN PATCH] automation/eclair: add deviations for MISRA C:2012 Rule 5.6
- To: Jan Beulich <jbeulich@xxxxxxxx>
- From: Federico Serafini <federico.serafini@xxxxxxxxxxx>
- Date: Wed, 29 Nov 2023 09:22:31 +0100
- Cc: consulting@xxxxxxxxxxx, Simone Ballarin <simone.ballarin@xxxxxxxxxxx>, Doug Goldstein <cardoe@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Wei Liu <wl@xxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
- Delivery-date: Wed, 29 Nov 2023 08:22:37 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 28/11/23 18:17, Jan Beulich wrote:
On 28.11.2023 18:09, Federico Serafini wrote:
--- a/docs/misra/deviations.rst
+++ b/docs/misra/deviations.rst
@@ -90,6 +90,22 @@ Deviations related to MISRA C:2012 Rules:
- __emulate_2op and __emulate_2op_nobyte
- read_debugreg and write_debugreg
+ * - R5.6
+ - The type ret_t is deliberately defined multiple times depending on the
+ type of guest to service.
+ - Tagged as `deliberate` for ECLAIR.
+
+ * - R5.6
+ - Some files are not subject to respect MISRA rules at
+ the moment, but, among these out-of-scope files, there are definitions
+ of typedef names that are already defined within in-scope files and
+ therefore, ECLAIR does report a violation since not all the files
+ involved in the violation are excluded from the analysis.
+ - Tagged as `deliberate` for ECLAIR. Such excluded files are:
+ - xen/include/efi/.*
+ - xen/arch/x86/include/asm/x86_64/efibind.h
+ - xen/arch/arm/include/asm/arm64/efibind.h
Could these two be generalized to xen/arch/*/include/asm/*/efibind.h?
OK.
--
Federico Serafini, M.Sc.
Software Engineer, BUGSENG (http://bugseng.com)
|
