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 | |
| 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')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index c12253c..c405d15 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -10493,6 +10493,7 @@ package body Sem_Ch13 is if Present (PF_Expr) and then not GNATprove_Mode + and then not CodePeer_Mode then pragma Assert (Present (Second_Formal)); |