haohuaijin opened a new pull request, #25795: URL: https://github.com/apache/datafusion/pull/25795
## Which issue does this PR close? Closes #25794 ## Rationale for this change Integer multiplication overflow can produce false-empty filter statistics despite returning matching rows. For example, `a * b < -100` returns `(20, 7, -116)` for TINYINT inputs, but interval inference incorrectly excludes the wrapped result. ## What changes are included in this PR? Distinguish lower- and upper-bound comparisons so multiplication preserves overflow-generated unbounded endpoints. Reuse the helpers in intersection and union, preserving their behavior. ## What is the testing strategy for this PR? Add interval overflow cases and a Parquet SQL regression checking results and statistics. Validation on this branch: - `cargo test -p datafusion-expr-common --lib interval_arithmetic::tests` — 45 passed. - `cargo test --test sqllogictests -- parquet_statistics` — passed. ## Are there any user-facing changes? Affected filters report conservative statistics instead of false-empty statistics. No public API changes. -- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
