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)
