Landing: ab5addf0674f
Project / Subsystem
gcc / gcc/range-analysis
Date
2026-08-06
Author
Aldy Hernandez
Commit
ab5addf0674f07d64b18695a54f1b43bb99e61a4
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc/range-analysis
- patch_id
- —
- commit_hash
- ab5addf0674f07d64b18695a54f1b43bb99e61a4
- source_type
- github
- headline
- Convert frange_add_zeros to use multi-range detection
- tldr
- Fixes floating-point zero handling in range analysis for complex multi-pair ranges.
- author
- Aldy Hernandez
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • range analysis
- • floating point
- • zero
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-06T00:00:00.000Z
This commit corrects the frange_add_zeros function in GCC’s floating-point range analysis. Previously, it relied on the range’s hull endpoints to detect the presence of zero, which failed for multi-pair ranges where zero might exist on an internal boundary. The function now uses a contains_zero_p method for more robust detection, ensuring that both positive and negative zero are correctly accounted for.