[PATCH] lib: sbi: fix undefined behavior in signed shifts in sbi_hart.c, sbi_ecall_interface.h

Marcos Oduardo marcos.oduardo at gmail.com
Sun Feb 22 16:11:59 PST 2026


UBSan detected undefined behavior in sbi_hart.c and sbi_fwft.c (in the case
of sbi_fwft.c, the bug comes from a macro call defined at sbi_ecall_interface.h)
caused by shifting a signed integer into the sign bit (1 << 31)

This can be fixed by using the 1UL literal, ensuring defined arithmetic.

Please let me know if there’s any other most suitable solution for this bug.

Signed-off-by: Marcos Oduardo <marcos.oduardo at gmail.com>
---
 include/sbi/sbi_ecall_interface.h | 2 +-
 lib/sbi/sbi_hart.c                | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/sbi/sbi_ecall_interface.h b/include/sbi/sbi_ecall_interface.h
index 76624e3f..9a776f79 100644
--- a/include/sbi/sbi_ecall_interface.h
+++ b/include/sbi/sbi_ecall_interface.h
@@ -144,7 +144,7 @@ enum sbi_fwft_feature_t {
 	SBI_FWFT_GLOBAL_PLATFORM_END		= 0xffffffff,
 };
 
-#define SBI_FWFT_GLOBAL_FEATURE_BIT		(1 << 31)
+#define SBI_FWFT_GLOBAL_FEATURE_BIT		(1UL << 31)
 #define SBI_FWFT_PLATFORM_FEATURE_BIT		(1 << 30)
 
 #define SBI_FWFT_SET_FLAG_LOCK			(1 << 0)
diff --git a/lib/sbi/sbi_hart.c b/lib/sbi/sbi_hart.c
index 60e95bca..99e13990 100644
--- a/lib/sbi/sbi_hart.c
+++ b/lib/sbi/sbi_hart.c
@@ -70,7 +70,7 @@ static void mstatus_init(struct sbi_scratch *scratch)
 	 */
 	mhpmevent_init_val |= (MHPMEVENT_OF | MHPMEVENT_MINH);
 	for (cidx = 0; cidx <= 28; cidx++) {
-		if (!(mhpm_mask & 1 << (cidx + 3)))
+		if (!(mhpm_mask & 1UL << (cidx + 3)))
 			continue;
 #if __riscv_xlen == 32
 		csr_write_num(CSR_MHPMEVENT3 + cidx,
-- 
2.53.0




More information about the opensbi mailing list