Commit ad46b6c
fix: preserve operand width in DecimalValue checked arithmetic (#7380)
## Summary
Closes: #7022
`DecimalValue::checked_add/sub/mul/div` unconditionally upcast both
operands to `i256` and returned `DecimalValue::I256`, producing
unnecessarily wide scalars even when both inputs were narrow (e.g. `I32
+ I32 → I256`).
Operate at `max(self, other)` width instead, matching the pattern in
`aggregate_fn/fns/sum/decimal.rs`. The old `checked_binary_op` helper
was replaced with a local macro so each op dispatches with its own
trait.
**AI disclosure:** Analysis, implementation, and tests were done with
Claude Code under my direction and review.
## API Changes
No public API signature changes (verified via
`./scripts/public-api.sh`).
Overflow is now caught at the target width rather than silently widening
(e.g. `I8(i8::MAX) + I8(1)` now returns `None` instead of `I256(128)`).
**This felt like the most faithful reading of the issue, but I'd
appreciate a sanity check that returning `None` on target-width overflow
is the desired semantics rather than, say, promoting to the next wider
variant.** No in-tree caller depends on the old behavior: `sum/mod.rs`
pre-widens the accumulator by +10 precision,
`decimal/scalar.rs::checked_binary_numeric` requires both operands to
share the same width, and `sum/constant.rs` uses `I128` as the
multiplier.
## Testing
- Updated `test_decimal_value_checked_*` to assert the correct variant.
- Added tests for variant preservation, mixed-width promotion, and
overflow at the target width (including `i8::MIN / -1`).
- All existing tests pass (212 decimal, 14 sum).
---------
Signed-off-by: Abanoub Doss <abanoub.doss@gmail.com>
Signed-off-by: Abanoub Doss <abnobdoss@proton.me>
Signed-off-by: Claude <noreply@anthropic.com>
Signed-off-by: abnobdoss <abanoubdoss@gmail.com>
Co-authored-by: Abanoub Doss <abanoub.doss@gmail.com>
Co-authored-by: Claude <noreply@anthropic.com>1 parent 7f170ce commit ad46b6c
2 files changed
Lines changed: 88 additions & 21 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
22 | 39 | | |
23 | 40 | | |
24 | 41 | | |
| |||
134 | 151 | | |
135 | 152 | | |
136 | 153 | | |
137 | | - | |
138 | | - | |
139 | | - | |
140 | | - | |
141 | | - | |
142 | | - | |
143 | | - | |
144 | | - | |
145 | | - | |
146 | | - | |
147 | | - | |
148 | | - | |
149 | 154 | | |
150 | 155 | | |
151 | | - | |
| 156 | + | |
152 | 157 | | |
153 | 158 | | |
154 | 159 | | |
155 | 160 | | |
156 | | - | |
| 161 | + | |
157 | 162 | | |
158 | 163 | | |
159 | 164 | | |
160 | 165 | | |
161 | | - | |
| 166 | + | |
162 | 167 | | |
163 | 168 | | |
164 | 169 | | |
165 | 170 | | |
166 | | - | |
| 171 | + | |
167 | 172 | | |
168 | 173 | | |
169 | 174 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
992 | 992 | | |
993 | 993 | | |
994 | 994 | | |
995 | | - | |
| 995 | + | |
996 | 996 | | |
997 | 997 | | |
998 | 998 | | |
999 | 999 | | |
1000 | 1000 | | |
1001 | 1001 | | |
1002 | 1002 | | |
1003 | | - | |
| 1003 | + | |
1004 | 1004 | | |
1005 | 1005 | | |
1006 | 1006 | | |
1007 | 1007 | | |
1008 | 1008 | | |
1009 | 1009 | | |
1010 | 1010 | | |
1011 | | - | |
| 1011 | + | |
1012 | 1012 | | |
1013 | 1013 | | |
1014 | 1014 | | |
1015 | 1015 | | |
1016 | 1016 | | |
1017 | 1017 | | |
1018 | 1018 | | |
1019 | | - | |
| 1019 | + | |
1020 | 1020 | | |
1021 | 1021 | | |
1022 | 1022 | | |
| |||
1033 | 1033 | | |
1034 | 1034 | | |
1035 | 1035 | | |
1036 | | - | |
| 1036 | + | |
| 1037 | + | |
| 1038 | + | |
| 1039 | + | |
| 1040 | + | |
| 1041 | + | |
| 1042 | + | |
| 1043 | + | |
| 1044 | + | |
| 1045 | + | |
| 1046 | + | |
| 1047 | + | |
| 1048 | + | |
| 1049 | + | |
| 1050 | + | |
| 1051 | + | |
| 1052 | + | |
| 1053 | + | |
| 1054 | + | |
| 1055 | + | |
| 1056 | + | |
| 1057 | + | |
| 1058 | + | |
| 1059 | + | |
| 1060 | + | |
| 1061 | + | |
| 1062 | + | |
| 1063 | + | |
| 1064 | + | |
| 1065 | + | |
| 1066 | + | |
| 1067 | + | |
| 1068 | + | |
| 1069 | + | |
| 1070 | + | |
| 1071 | + | |
| 1072 | + | |
| 1073 | + | |
| 1074 | + | |
| 1075 | + | |
| 1076 | + | |
| 1077 | + | |
| 1078 | + | |
| 1079 | + | |
| 1080 | + | |
| 1081 | + | |
| 1082 | + | |
| 1083 | + | |
| 1084 | + | |
| 1085 | + | |
| 1086 | + | |
| 1087 | + | |
| 1088 | + | |
| 1089 | + | |
| 1090 | + | |
| 1091 | + | |
| 1092 | + | |
| 1093 | + | |
| 1094 | + | |
| 1095 | + | |
| 1096 | + | |
| 1097 | + | |
| 1098 | + | |
1037 | 1099 | | |
1038 | 1100 | | |
1039 | 1101 | | |
| |||
0 commit comments