[gcc r14-5903] ada: Fix predicate failure that occurred in a test case

[gcc r14-5903] ada: Fix predicate failure that occurred in a test case

[Marc Poulhi?s]

https://gcc.gnu.org/g:834f2973606c63b4cd9e27e3bf24f01ee1347568

commit r14-5903-g834f2973606c63b4cd9e27e3bf24f01ee1347568
Author: Tucker Taft <taft@adacore.com>
Date:   Sat Nov 4 13:53:28 2023 +0000

    ada: Fix predicate failure that occurred in a test case
    
    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.

Diff:
---
 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));