diff options
author | Daniel Mercier <mercier@adacore.com> | 2022-04-14 17:36:17 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-19 14:05:31 +0000 |
commit | e478e16e8a8a256c8c117f0bbe54a3078c086bc2 (patch) | |
tree | abfeb6c56235af25bd7aa48ac2a08a449d858e5b /gcc/ada/gcc-interface | |
parent | 679ed5b02b20d97992d94878f9293c02b3fc26a4 (diff) | |
download | gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.zip gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.gz gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.bz2 |
[Ada] Ignore Predicate_Failure in CodePeer mode
gcc/ada/
* sem_ch13.adb (Build_Predicate_Function): Ignore predicate
failure in CodePeer mode.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions