From: Tucker Taft <t...@adacore.com> The CodePeer test case illustrating a problem where a "high" precondition failure was expected, died in the GNAT FE on input_reading.adb. The problem was in Check_SCIL, where it didn't properly handle a discriminant_specification.
gcc/ada/ * sem_scil.adb: Handle discriminant specification. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_scil.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_scil.adb b/gcc/ada/sem_scil.adb index da8fab69a97..d7679d8b50f 100644 --- a/gcc/ada/sem_scil.adb +++ b/gcc/ada/sem_scil.adb @@ -91,6 +91,7 @@ package body Sem_SCIL is elsif Nkind (Ctrl_Tag) in N_Object_Renaming_Declaration | N_Object_Declaration | N_Parameter_Specification + | N_Discriminant_Specification then Ctrl_Typ := Etype (Defining_Identifier (Ctrl_Tag)); -- 2.42.0