]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6c0133) | patch
ada: Fix predicate failure that occurred in a test case
authorTucker Taft <taft@adacore.com>
Sat, 4 Nov 2023 13:53:28 +0000 (13:53 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 28 Nov 2023 09:35:47 +0000 (10:35 +0100)
commit834f2973606c63b4cd9e27e3bf24f01ee1347568
treefd162e53645f8481366757fd9920ffaa738ece77tree | snapshot
parente6c01334ccfca8bc748c8de90ba2a636d1662490commit | diff
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.
gcc/ada/sem_scil.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git