Landing: 8a3f54f14053

Project / Subsystem

gcc / gcc/ada

Date

2026-07-17

Author

Eric Botcazou

Commit

8a3f54f140532ac9b3f4881d8f6c9a32da3c6bb8

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
gcc/ada
patch_id
commit_hash
8a3f54f140532ac9b3f4881d8f6c9a32da3c6bb8
source_type
github
headline
Ada: Fix type mismatch for reduction expression with non-integer index
tldr
Fixes a regression in Ada's reduction expression resolution to correctly handle non-integer indices.
author
Eric Botcazou
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • compiler
  • regression
discussion_id_link
bugzilla_pr
date
2026-07-17T00:00:00.000Z

This commit corrects a regression in Ada’s reduction expression resolution that incorrectly flagged type mismatches. The issue stemmed from the resolution of array type prefixes built on the fly. The fix restores previous behavior by performing a full resolution of the reducer, even when not overloaded, to catch illegal cases while avoiding unnecessary prefix resolution for aggregates.