summaryrefslogtreecommitdiffstats
path: root/gcc
diff options
context:
space:
mode:
authorDaniel Mercier <mercier@adacore.com>2022-04-14 17:36:17 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2022-05-19 14:05:31 +0000
commite478e16e8a8a256c8c117f0bbe54a3078c086bc2 (patch)
treeabfeb6c56235af25bd7aa48ac2a08a449d858e5b /gcc
parent[Ada] Fix compilation of raise-gcc.c with -DSTANDALONE under windows (diff)
downloadgcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.gz
gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.bz2
gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.xz
[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.adb1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index c12253cf26a..c405d15f8f1 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -10493,6 +10493,7 @@ package body Sem_Ch13 is
10493 10493
10494 if Present (PF_Expr) 10494 if Present (PF_Expr)
10495 and then not GNATprove_Mode 10495 and then not GNATprove_Mode
10496 and then not CodePeer_Mode
10496 then 10497 then
10497 pragma Assert (Present (Second_Formal)); 10498 pragma Assert (Present (Second_Formal));
10498 10499