kaidokert / fixed-bigint-rs / 29697162226

97%

push

github

Align BitAnd to max(len) — width-preservation audit fix (#155)

* Align BitAnd/BitAndAssign to max(len), consistent with the other binary ops

Width-preservation audit finding. BitAnd/BitAndAssign resolved at min(a.len,
b.len) while every other binary op (add/sub/mul, BitOr, BitXor, div/rem) uses
max(len). For equal-width operands min == max, so value-based tests never
caught it — but for mixed widths AND returned a narrower result than its
siblings, so a following width-sensitive op (Not, count_zeros, swap_bytes)
would observe a different width. Above min(len) the shorter operand's zero-tail
forces the AND to zero, so widening to max is value-identical, just at the
consistent operand width. Updated the module docs and the three tests that
pinned the old min behavior.

3 of 3 new or added lines in 1 file covered. (100.0%)

4638 of 4738 relevant lines covered (97.89%)

6148.26 hits per line