Landing: 3960440176ad

Project / Subsystem

gcc / gcc

Date

2026-08-24

Author

Andrew MacLeod

Commit

3960440176ad176d98a36b6f5554b340460ff381

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
gcc
patch_id
—
commit_hash
3960440176ad176d98a36b6f5554b340460ff381
source_type
github
headline
GIMPLE range inference refers to basic blocks, not statements.
tldr
GIMPLE range inference now correctly associates inferred ranges with basic blocks instead of individual statements.
author
Andrew MacLeod
outcome
committed
performance_win
false
breaking_change
false
series_id
—
series_parts
[]
tags
  • • optimization
  • • refactor
discussion_id_link
—
bugzilla_pr
—
date
2026-08-24T00:00:00.000Z

GCC’s GIMPLE range inference has been corrected to associate inferred range elements with the basic block they belong to, rather than the originating statement. This change ensures that the management and removal of these range elements are tied to the correct basic block context. A new test case, pr127027.c, has been added to verify this correction.