https://gcc.gnu.org/g:430e38500141d247527026b1a1742a4048c9e554
commit r16-8981-g430e38500141d247527026b1a1742a4048c9e554 Author: Eric Botcazou <[email protected]> Date: Tue Jan 20 10:09:23 2026 +0100 ada: Fix crash on declare expression in contract on access to subprogram type As documented at the end of gen_il-gen-gen_entities.adb, E_Subprogram_Type is part of Scope_Kind but, unlike what is said, it lacks Scope_Depth_Value. gcc/ada/ChangeLog: * gen_il-gen-gen_entities.adb (E_Subprogram_Type): Add the missing Scope_Depth_Value field. Diff: --- gcc/ada/gen_il-gen-gen_entities.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb index bb1dd7a94416..2d358929b5ff 100644 --- a/gcc/ada/gen_il-gen-gen_entities.adb +++ b/gcc/ada/gen_il-gen-gen_entities.adb @@ -942,7 +942,8 @@ begin -- Gen_IL.Gen.Gen_Entities Sm (Extra_Accessibility_Of_Result, Node_Id), Sm (Extra_Formals, Node_Id), Sm (Extra_Formals_Known, Flag), - Sm (Needs_No_Actuals, Flag))); + Sm (Needs_No_Actuals, Flag), + Sm (Scope_Depth_Value, Unat))); Ab (Overloadable_Kind, Entity_Kind, (Sm (Renamed_Or_Alias, Node_Id),
