https://gcc.gnu.org/g:d0ad6a3b85f1b522ba98fc0df16cf1f3ad22fd08
commit r16-9005-gd0ad6a3b85f1b522ba98fc0df16cf1f3ad22fd08 Author: Eric Botcazou <[email protected]> Date: Tue Mar 3 11:35:36 2026 +0100 ada: Fix unresolved symbols with partial -gnatVo compilation This happens when the units of a program using the standard containers are not uniformly compiled with the -gnatVo switch. This is the fallout of an internal confusion as to what validity checks must be applied to. gcc/ada/ChangeLog: * exp_ch4.adb (Expand_N_Op_Eq): Do not expand an array comparison for validity checking purposes when the component type is covered by the suppression of validity checks. Diff: --- gcc/ada/exp_ch4.adb | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 5a9009c06a87..6d5559a63469 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -8578,6 +8578,8 @@ package body Exp_Ch4 is if Validity_Check_Operands and then not Is_Known_Valid (Component_Type (Typl)) + and then not + Is_Check_Suppressed (Component_Type (Typl), Validity_Check) then declare Save_Force_Validity_Checks : constant Boolean :=
