Landing: de2d80d1101e
Project / Subsystem
gcc / gcc
Date
2026-08-06
Author
Andrew MacLeod
Commit
de2d80d1101e1921d719918d57589ea2668dcc1f
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc
- patch_id
- —
- commit_hash
- de2d80d1101e1921d719918d57589ea2668dcc1f
- source_type
- github
- headline
- Check for abnormal ranges on full dom search.
- tldr
- GCC's range analysis now considers abnormal edges throughout dominator searches, improving accuracy.
- author
- Andrew MacLeod
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • compiler
- • optimization
- • control flow
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-06T00:00:00.000Z
GCC’s ranger_cache::range_from_dom function has been updated to track abnormal edges during the entire dominator search. Previously, inferred ranges were not added if the predecessor was an abnormal edge. This change enhances the analysis by correctly handling abnormal control flow paths, leading to more accurate range inferences.