Landing: 7f4f4b9fe867

← All landings

Project / Subsystem

gcc / gcc/tree-ssa

Date

2026-08-04

Author

Aldy Hernandez

Commit

7f4f4b9fe867c07b597412629c7b33636db4a066

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: gcc/tree-ssa
patch_id: —
commit_hash: 7f4f4b9fe867c07b597412629c7b33636db4a066
source_type: github
headline: Convert range_operator::fold_range to use sub-ranges
tldr: Improves floating-point range analysis by correctly handling gaps between sub-ranges.
author: Aldy Hernandez
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • optimization
• floating point
• range analysis
• bugfix
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/7f4f4b9fe867c07b597412629c7b33636db4a066
date: 2026-08-04T00:00:00.000Z

The fold_range function in GCC’s floating-point range analysis has been updated to process operands as pairs of sub-ranges. This change ensures that gaps between sub-ranges are preserved, rather than folding the entire hull, leading to more precise range analysis. It also optimizes by folding the diagonal when operands are known to be equal, mirroring the behavior of integer range analysis.