[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] misra: fix Rule 11.3 violation in 'vcpu_mark_events_pending'
- To: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- From: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>
- Date: Wed, 20 Aug 2025 08:00:09 +0000
- Accept-language: en-US, uk-UA, ru-RU
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=epam.com; dmarc=pass action=none header.from=epam.com; dkim=pass header.d=epam.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=NtkxeDBACc0cYECjaqfj1ThuQQdwXeAzi2qPSx8hTrU=; b=Jm3a2lM3pOs8bJFOKjEfX/hUGC6veZXtoroFfBpU72Yb7TjlzIHjVGG7rnOY7JN0H4jis6B3GPKQ6GiSglmYRncLnnapS5YP/m1ytcwY0GmtDtkapKNG8lQTzzIS9XUyILUFfilN+diSNJ+DAHKNQ2nAujE2eSLJoe7NVaOxfxNy9qZ99NOKuxxUIFHJNxyMX92XID2mF3iqiw0TBjBIDKmeMiOT3Kfc3nrviB1o8V8kxaWeWjeJLqwXDJSByA/qVIvLbYDjHHxbiZZ617jFeHHJ2bZ/B2b57lObcqY0KQqKFF46prraH5FrZ1CTWnYFx5x7/Cm7RHbYJU/tGZUmMA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=xzSX5pzUhK6vyvVQ6VWJf0MR61GtI0yocgKwDBpB30wLb803OnARP7UVN4ukwUeiN/AMbQwacBVoNQ1qjnllLly8aEHMvHjbf3z8UlVmtd3VXukrJNsETYCdEUvh7Vpyk8Ofd1s1ghbbjwgtsDrI/L7XBuTD746HAr30Abo87cGed2OqCZnLkxheqasqYG5K1x3M8iycHMb27nbLQEBJg1/1atJVs53Aojs/1bAuyQATIudS5SpeDosiPr2bMCwS2RW1MDLEzfa4UZQO+k23NkMJZhqn/JmIaHbB35dN//Q1CfDNeWGibXka0KYqvt2TKzbCFOoftlh4/5c9uCXpWQ==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=epam.com;
- Cc: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>
- Delivery-date: Wed, 20 Aug 2025 08:00:25 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHcEahzo6Ns4M/vpkyFl3Gc8+EN0g==
- Thread-topic: [PATCH] misra: fix Rule 11.3 violation in 'vcpu_mark_events_pending'
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_prokopchuk1@xxxxxxxx>
---
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
|
