UB in negate in mulh/mulhsu

Ensuring No negation on -2^63(int64_t) is performed during mulh/mulhsu Signed-off-by: Nicolas Brunie <[email protected]>
riscv-software-src · Aug 11, 2024 · 64c8c41 · 64c8c41
1 parent 6f28e4b
commit 64c8c41
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/riscv/arith.h b/riscv/arith.h
@@ -32,14 +32,14 @@ inline uint64_t mulhu(uint64_t a, uint64_t b)
 inline int64_t mulh(int64_t a, int64_t b)
 {
   int negate = (a < 0) != (b < 0);
-  uint64_t res = mulhu(a < 0 ? -a : a, b < 0 ? -b : b);
+  uint64_t res = mulhu(a < 0 ? -(uint64_t)a : a, b < 0 ? -(uint64_t)b : b);
   return negate ? ~res + ((uint64_t)a * (uint64_t)b == 0) : res;
 }
 
 inline int64_t mulhsu(int64_t a, uint64_t b)
 {
   int negate = a < 0;
-  uint64_t res = mulhu(a < 0 ? -a : a, b);
+  uint64_t res = mulhu(a < 0 ? -(uint64_t)a : a, b);
   return negate ? ~res + (a * b == 0) : res;
 }