[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
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.hCould these two be generalized to xen/arch/*/include/asm/*/efibind.h? OK. -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |