[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [PATCH 0/9] MISRA C 2012 8.1 rule fixes
This series fixes all the findings for MISRA C 2012 8.1 rule, reported by cppcheck 2.7 with misra addon, for Arm (arm32/arm64 - target allyesconfig). Fixing this rule comes down to replacing implicit 'unsigned' with explicit 'unsigned int' type as there are no other violations being part of that rule in the Xen codebase. The last three patches contain fixes for files that originated from other projects like Linux kernel or libfdt, therefore they are rather not applicable to be fixed in Xen (they can be dropped). Nevertheless they act as a sign to what should be added to a deviation list. Some important notes: Static analyzers are not perfect. Cppcheck generates internal AST error for some of the files resulting in skipping all the checks. For these files, one need to manually check if there are no findings. Recently there was a release of a new Cppcheck 2.8 version. However it contains a regression bug with misra addon. Therefore do not use that version for now. Michal Orzel (9): xen/arm: Use explicitly specified types xen/domain: Use explicitly specified types xen/common: Use explicitly specified types include/xen: Use explicitly specified types include/public: Use explicitly specified types xsm/flask: Use explicitly specified types common/libfdt: Use explicitly specified types common/inflate: Use explicitly specified types drivers/acpi: Use explicitly specified types xen/arch/arm/domain_build.c | 2 +- xen/arch/arm/guestcopy.c | 13 +- xen/arch/arm/include/asm/arm32/bitops.h | 8 +- xen/arch/arm/include/asm/fixmap.h | 4 +- xen/arch/arm/include/asm/guest_access.h | 8 +- xen/arch/arm/include/asm/mm.h | 2 +- xen/arch/arm/irq.c | 2 +- xen/arch/arm/kernel.c | 2 +- xen/arch/arm/mm.c | 4 +- xen/common/domain.c | 2 +- xen/common/grant_table.c | 6 +- xen/common/gunzip.c | 8 +- xen/common/inflate.c | 166 ++++++++++++------------ xen/common/libfdt/fdt_ro.c | 4 +- xen/common/libfdt/fdt_rw.c | 2 +- xen/common/libfdt/fdt_sw.c | 2 +- xen/common/libfdt/fdt_wip.c | 2 +- xen/common/sched/cpupool.c | 4 +- xen/common/trace.c | 2 +- xen/drivers/acpi/tables/tbfadt.c | 2 +- xen/drivers/acpi/tables/tbutils.c | 2 +- xen/include/public/physdev.h | 4 +- xen/include/public/sysctl.h | 10 +- xen/include/xen/domain.h | 2 +- xen/include/xen/perfc.h | 2 +- xen/include/xen/sched.h | 6 +- xen/xsm/flask/ss/avtab.c | 2 +- 27 files changed, 137 insertions(+), 136 deletions(-) -- 2.25.1
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |