[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] misra: add missing noreturn attribute for __div0()
- To: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- From: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>
- Date: Tue, 12 Aug 2025 15:46:43 +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=t/QHvgbmohPFmHHzvigTT9seSw/ncIG0QHyBVaz8jIo=; b=OoIFYJckwfq28w5kHwBoWXit6BlE2HLICcXfmCqDxJCbr8nAEAW+wrJNHuCOgc+C96RI95pAvKarAHDWj+23fhuFFpl5QxoL8kxQqn1U+POORU0UswR4YgZl/+qsQQDp+oYk95eW7CDInRYJubqbPMVeusVs0eZN9v3BTbLJ7EdGsW7INNohx2x8c4iChzCZHvaEEphxF6AVnpPUr7aagA4xdCtDt3uQtMkvRwSdklISUjwg/WjH1Pzt/jqVRdvKcJAAMWFs519sl+JwPAWudw3Ifr7epC/CDgBWoKokwtAF9ICBwl68lLkSTzvEZkqJLFFPY3VVP1z2qvskL9O3+Q==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=WwSSF6bBD+wLP6jVNtIUoW6/XQEsCQOHyq08M2yWUIdyaQqTTemrN774fRpKPz/t5+0WlZCUg4as5DooFuQPnDX5YuG8jKml1vSHO7A9fgkYYSynqyjj/tnqdlB8CqbOfd6119MYklegnwvTSy1fDLeMckt5xnVD01XUKTw+CrPf7m1ih8zVc1L8SGU9Umw0p8EpoAFEF8eN0V9fvOub+JKNAd5PRQ321H88+O5vY6ewy3E4hWOTvLDh9ixFNFofeo1HAqjoyYGoOdKxJMF45x94cBfhNFL+RDetPYCUnI3ck6z5yUpmrAm6AJsFy/EntVqStSs+xz1vMO2HndSw2w==
- 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: Tue, 12 Aug 2025 15:47:06 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHcC6BNrZWExZ8T4Eir24b0NtVqLQ==
- Thread-topic: [PATCH] misra: add missing noreturn attribute for __div0()
The __div0() function never returns to its caller, causing a violation
of MISRA C Rule 2.1: "A project shall not contain unreachable code".
Add the `noreturn` attribute to fix this.
Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@xxxxxxxx>
---
Test CI pipeline:
https://gitlab.com/xen-project/people/dimaprkp4k/xen/-/pipelines/1980129839
---
xen/arch/arm/traps.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/arch/arm/traps.c b/xen/arch/arm/traps.c
index 445e7378dd..2bc3e1df04 100644
--- a/xen/arch/arm/traps.c
+++ b/xen/arch/arm/traps.c
@@ -172,7 +172,7 @@ void init_traps(void)
isb();
}
-void asmlinkage __div0(void)
+void asmlinkage noreturn __div0(void)
{
printk("Division by zero in hypervisor.\n");
BUG();
--
2.43.0
|
