diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-04-13 21:39:38 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-19 14:05:30 +0000 |
| commit | eff70bcc1f1e808e3cc253a8452b7849329d549a (patch) | |
| tree | 293ecd0157368c3bd67bf391caa4bdd1ee1d42a9 /gcc/ada/gcc-interface | |
| parent | 55a11c7e345dd06d6975fe8f4dc0e11ecbb581ff (diff) | |
| download | gcc-eff70bcc1f1e808e3cc253a8452b7849329d549a.zip gcc-eff70bcc1f1e808e3cc253a8452b7849329d549a.tar.gz gcc-eff70bcc1f1e808e3cc253a8452b7849329d549a.tar.bz2 | |
[Ada] Ignore Predicate_Failure in GNATprove mode
In GNATprove mode we are don't want predicate failure to pollute the
predicate expression extracted from the predicate function.
gcc/ada/
* sem_ch13.adb (Build_Predicate_Function): Ignore predicate
failure in GNATprove mode.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions