Landing: 0c059c67acbf

Project / Subsystem

gcc / ada

Date

2026-03-03

Author

Eric Botcazou

Commit

0c059c67acbf3ba6df55a27e7276b4640898e3bd

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
0c059c67acbf3ba6df55a27e7276b4640898e3bd
source_type
github
headline
Ada: Fix unresolved symbols with partial -gnatVo compilation.
tldr
Addresses unresolved symbols when using partial `-gnatVo` compilation with standard containers.
author
Eric Botcazou
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • compilation
  • validity checks
  • bugfix
discussion_id_link
bugzilla_pr
date
2026-03-03T00:00:00.000Z

When parts of a program using standard containers were compiled with and without the -gnatVo switch (which enables validity checks), unresolved symbols could occur. This commit ensures that array comparisons are not expanded for validity checking when the component type is covered by suppression of validity checks, resolving the issue and ensuring consistent compilation.