diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-21 08:29:51 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-21 08:29:51 +0000 |
| commit | 5c34f30d16b99d7d0898d19193b3890452efa7cf (patch) | |
| tree | 9df666d8b23e81743fbf6ff3da07962180b0f1f0 /gcc/ada/sem_spark.adb | |
| parent | 570d0072bdcdd0e9e7d6acb33f594c22efa24ac7 (diff) | |
| download | gcc-5c34f30d16b99d7d0898d19193b3890452efa7cf.zip gcc-5c34f30d16b99d7d0898d19193b3890452efa7cf.tar.gz gcc-5c34f30d16b99d7d0898d19193b3890452efa7cf.tar.bz2 | |
[Ada] Avoid spurious error in GNATprove mode on non-null access types
GNATprove directly handles non-null access checks, and requires that the
frontend does not insert explicit checks in the form of conditional
exceptions being raised. Now fixed.
There is no impact on compilation.
2019-08-21 Yannick Moy <moy@adacore.com>
gcc/ada/
* checks.adb (Install_Null_Excluding_Check): Do not install
check in GNATprove mode.
From-SVN: r274780
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions