Landing: 1f31aff22299

← All landings

Project / Subsystem

gcc / ada

Date

2026-09-23

Author

Eric Botcazou

Commit

1f31aff222994ac92b485850792a9ee6d1dd606c

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 1f31aff222994ac92b485850792a9ee6d1dd606c
source_type: github
headline: Ada: Ensure discriminant check for constrained view conversion assignment
tldr: Adds a missing discriminant check for view conversions involving constrained objects in Ada assignments.
author: Eric Botcazou
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• compiler
• type safety
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/1f31aff222994ac92b485850792a9ee6d1dd606c
date: 2026-09-23T00:00:00.000Z

This commit corrects a bug in Ada where a discriminant check was missed during assignment operations involving view conversions of constrained objects. The fix ensures that the actual subtype of the left-hand side (LHS) is correctly built, maintaining type safety for constrained types.