MISRA C:2012 Rule 11.3 states: "A cast shall not be performed between a pointer to object type and a pointer to a different object type."
The function 'vcpu_mark_events_pending' contains a non-compliant cast to (unsigned long*). Remove the explicit cast and pass the compatible pointer type to the 'guest_test_and_set_bit' macro. Fixes: c626aa1a5a (arm: implement event injection, 2012-06-01) Signed-off-by: Dmytro Prokopchuk <dmytro_prokopch...@epam.com> --- Test CI pipeline: https://gitlab.com/xen-project/people/dimaprkp4k/xen/-/pipelines/1993054203 --- xen/arch/arm/domain.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index 310c578909..6371e68cc7 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -1166,7 +1166,7 @@ void arch_dump_vcpu_info(struct vcpu *v) void vcpu_mark_events_pending(struct vcpu *v) { bool already_pending = guest_test_and_set_bit(v->domain, - 0, (unsigned long *)&vcpu_info(v, evtchn_upcall_pending)); + 0, &vcpu_info(v, evtchn_upcall_pending)); if ( already_pending ) return; -- 2.43.0
