Landing: 3f57fe8cc686

Project / Subsystem

gcc / ada

Date

2026-08-01

Author

Eric Botcazou

Commit

3f57fe8cc686317b22b32e0c77b7c2eddae022cb

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
—
commit_hash
3f57fe8cc686317b22b32e0c77b7c2eddae022cb
source_type
github
headline
Ada: Fix crash on Unchecked_Union component with -gnateV.
tldr
Fixes a crash in the Ada compiler when using Unchecked_Union components with the -gnateV flag.
author
Eric Botcazou
outcome
committed
performance_win
false
breaking_change
false
series_id
—
series_parts
[]
tags
  • • ada
  • • compiler
  • • crash
  • • validation
discussion_id_link
—
bugzilla_pr
—
date
2026-08-01T00:00:00.000Z

This patch resolves a crash in the Ada compiler related to Unchecked_Union components when the -gnateV flag is used. The issue stems from incorrect validation of fields within an Unchecked_Union type. The fix involves modifying the Validate_Field procedure in exp_attr.adb to do nothing if the field belongs to an Unchecked_Union type, preventing the crash. A new test case is added to cover this scenario.