From 661cac40ae384aa048997bd73ae4dd5f097b8fb1 Mon Sep 17 00:00:00 2001
From: Robert Kruszewski <github@robertk.io>
Date: Mon, 12 Oct 2026 22:19:29 +0100
Subject: [PATCH] Fix constant decimal array overflow for decimals bigger than
 i128

Signed-off-by: Robert Kruszewski <github@robertk.io>
---
 .../src/aggregate_fn/fns/sum/constant.rs      | 65 ++++++++++++++++---
 1 file changed, 57 insertions(+), 8 deletions(-)

diff --git a/vortex-array/src/aggregate_fn/fns/sum/constant.rs b/vortex-array/src/aggregate_fn/fns/sum/constant.rs
index ced92af1d68..b38f15fd14c 100644
--- a/vortex-array/src/aggregate_fn/fns/sum/constant.rs
+++ b/vortex-array/src/aggregate_fn/fns/sum/constant.rs
@@ -8,6 +8,7 @@ use vortex_error::vortex_err;
 use crate::dtype::DType;
 use crate::dtype::Nullability;
 use crate::dtype::PType;
+use crate::dtype::i256;
 use crate::scalar::DecimalValue;
 use crate::scalar::Scalar;
 
@@ -70,14 +71,19 @@ pub(crate) fn multiply_constant(
                 .as_decimal()
                 .decimal_value()
                 .ok_or_else(|| vortex_err!("Expected non-null decimal scalar for sum"))?;
-            let len_decimal = DecimalValue::from(len as i128);
-            match val.checked_mul(&len_decimal) {
-                Some(product) => {
-                    let ret_decimal = *return_dtype
-                        .as_decimal_opt()
-                        .ok_or_else(|| vortex_err!("Expected decimal return dtype"))?;
-                    Scalar::decimal(product, ret_decimal, Nullability::Nullable)
-                }
+            let ret_decimal = *return_dtype
+                .as_decimal_opt()
+                .ok_or_else(|| vortex_err!("Expected decimal return dtype"))?;
+
+            // Multiply in i256, the widest storage type, because the operands can be narrower
+            // than the return type. Then check the product against the return precision.
+            let val = DecimalValue::I256(val.as_i256());
+            let len_decimal = DecimalValue::I256(i256::from_i128(len as i128));
+            match val
+                .checked_mul(&len_decimal)
+                .and_then(|product| product.normalize(ret_decimal))
+            {
+                Some(product) => Scalar::decimal(product, ret_decimal, Nullability::Nullable),
                 None => Scalar::null(return_dtype.as_nullable()),
             }
         }
@@ -216,4 +222,47 @@ mod tests {
         );
         Ok(())
     }
+
+    #[test]
+    fn sum_constant_decimal_i128_value_overflows_i128() -> VortexResult<()> {
+        let value: i128 = 112_285_607_173_948_541_047_296_740_235_646_205_996;
+        let array = ConstantArray::new(
+            Scalar::decimal(
+                DecimalValue::I128(value),
+                DecimalDType::new(39, 39),
+                Nullability::NonNullable,
+            ),
+            2,
+        )
+        .into_array();
+
+        let result = sum(&array, &mut array_session().create_execution_ctx())?;
+
+        assert_eq!(
+            result.as_decimal().decimal_value(),
+            Some(DecimalValue::I256(
+                i256::from_i128(value) + i256::from_i128(value)
+            ))
+        );
+        Ok(())
+    }
+
+    #[test]
+    fn sum_constant_decimal_exceeds_return_precision() -> VortexResult<()> {
+        let max_value = i256::from_i128(10).checked_pow(76).unwrap() - i256::from_i128(1);
+        let array = ConstantArray::new(
+            Scalar::decimal(
+                DecimalValue::I256(max_value),
+                DecimalDType::new(76, 0),
+                Nullability::NonNullable,
+            ),
+            2,
+        )
+        .into_array();
+
+        let result = sum(&array, &mut array_session().create_execution_ctx())?;
+
+        assert!(result.is_null());
+        Ok(())
+    }
 }