| commit | 834f2973606c63b4cd9e27e3bf24f01ee1347568 | |
| author | Tucker Taft <taft@adacore.com> | |
| Sat, 4 Nov 2023 13:53:28 +0000 (4 13:53 +0000) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 28 Nov 2023 09:35:47 +0000 (28 10:35 +0100) | ||
| tree | fd162e53645f8481366757fd9920ffaa738ece77 | treesnapshot (tar.gz zip) |
| parent | e6c01334ccfca8bc748c8de90ba2a636d1662490 | commitdiff |
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.
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.
| gcc/ada/sem_scil.adb | diffblobblamehistory |