projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
679ed5b
)
[Ada] Ignore Predicate_Failure in CodePeer mode
author
Daniel Mercier
<mercier@adacore.com>
Thu, 14 Apr 2022 15:36:17 +0000
(17:36 +0200)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Thu, 19 May 2022 14:05:31 +0000
(14:05 +0000)
gcc/ada/
* sem_ch13.adb (Build_Predicate_Function): Ignore predicate
failure in CodePeer mode.
gcc/ada/sem_ch13.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/sem_ch13.adb
b/gcc/ada/sem_ch13.adb
index
c12253c
..
c405d15
100644
(file)
--- 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));