]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 679ed5b) | patch
[Ada] Ignore Predicate_Failure in CodePeer mode
authorDaniel Mercier <mercier@adacore.com>
Thu, 14 Apr 2022 15:36:17 +0000 (17:36 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 19 May 2022 14:05:31 +0000 (14:05 +0000)
commite478e16e8a8a256c8c117f0bbe54a3078c086bc2
treeabfeb6c56235af25bd7aa48ac2a08a449d858e5btree
parent679ed5b02b20d97992d94878f9293c02b3fc26a4commit | diff
[Ada] Ignore Predicate_Failure in CodePeer mode

gcc/ada/

* sem_ch13.adb (Build_Predicate_Function): Ignore predicate
failure in CodePeer mode.
gcc/ada/sem_ch13.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.080342 seconds and 5 git commands to generate.