Merge pull request #36 from visitorckw/fix-shift-too-many-bits

jserv · web-flow · commit 41b6f0f9ff1f · 2024-01-09T07:58:07.000+08:00
Fix undefined behavior in RV_MARCHID definition
diff --git a/main.c b/main.c
@@ -185,7 +185,7 @@ static inline sbi_ret_t handle_sbi_ecall_RST(vm_t *vm, int32_t fid)
 }
 
 #define RV_MVENDORID 0x12345678
-#define RV_MARCHID ((1 << 31) | 1)
+#define RV_MARCHID ((1ULL << 31) | 1)
 #define RV_MIMPID 1
 
 static inline sbi_ret_t handle_sbi_ecall_BASE(vm_t *vm, int32_t fid)

Original file line number	Diff line number	Diff line change
`@@ -185,7 +185,7 @@ static inline sbi_ret_t handle_sbi_ecall_RST(vm_t *vm, int32_t fid)`
`185`	`185`	`}`
`186`	`186`
`187`	`187`	`#define RV_MVENDORID 0x12345678`
`188`		`-#define RV_MARCHID ((1 << 31) \| 1)`
	`188`	`+#define RV_MARCHID ((1ULL << 31) \| 1)`
`189`	`189`	`#define RV_MIMPID 1`
`190`	`190`
`191`	`191`	`static inline sbi_ret_t handle_sbi_ecall_BASE(vm_t *vm, int32_t fid)`