Landing: 217df27883c4

Project / Subsystem

gcc / gcc/range-op-float

Date

2026-08-04

Author

Jakub Jelinek

Commit

217df27883c450f3f098bd0d1dc1ea7d5dbe8ff8

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
gcc/range-op-float
patch_id
—
commit_hash
217df27883c450f3f098bd0d1dc1ea7d5dbe8ff8
source_type
github
headline
Removes inappropriate frange_drop_infs call.
tldr
Corrects floating-point range analysis to avoid incorrectly dropping infinities.
author
Jakub Jelinek
outcome
committed
performance_win
false
breaking_change
false
series_id
—
series_parts
[]
tags
  • • optimization
  • • gcc
  • • floating-point
  • • compiler bug
discussion_id_link
—
bugzilla_pr
—
date
2026-08-04T00:00:00.000Z

A call to frange_drop_infs was inappropriately added to the range analysis for integer-to-floating-point conversions. This function incorrectly removed positive or negative infinity from floating-point ranges, even when such values could legitimately result from conversions, especially with types like _Float16 or large _BitInt values. The fix removes this call, allowing the analysis to correctly represent potential infinity values in the computed ranges.