yinli-systems commented on PR #11062: URL: https://github.com/apache/arrow-rs/pull/11062#issuecomment-5642248860
Pushed `5143d92fe` to address the MIRI (5) failure in `run_float_ieee_semantics`. The two arrays differed only in the sign bit of NaN (`+qNaN` versus `-qNaN`), which IEEE arithmetic does not guarantee to preserve across equivalent evaluation paths. The regression now checks run ends, physical value length, and nulls explicitly; accepts any NaN only when the flat reference is NaN; and continues comparing every non-NaN value via `to_bits()`, preserving exact signed-zero and infinity behavior. Validation on the updated head: - matching 2026-09-11 nightly Miri: focused regression passes - `cargo test -p arrow-arith`: 239 unit tests, 13 integration tests, and 16 doctests pass - strict package Clippy with all targets/features passes - stable rustfmt and `git diff --check` pass This diagnosis, fix, and validation were prepared with Codex assistance. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
