diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-21 08:29:47 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-21 08:29:47 +0000 |
| commit | 570d0072bdcdd0e9e7d6acb33f594c22efa24ac7 (patch) | |
| tree | c4c29837ff9a4e2ddafdb2c3fa0df2423c7d9319 /libgcc | |
| parent | 78170c8ea108d76c9ed44b9a59546aadf64e9c3e (diff) | |
| download | gcc-570d0072bdcdd0e9e7d6acb33f594c22efa24ac7.zip gcc-570d0072bdcdd0e9e7d6acb33f594c22efa24ac7.tar.gz gcc-570d0072bdcdd0e9e7d6acb33f594c22efa24ac7.tar.bz2 | |
[Ada] Ignore subprogram address in ownership checking
Ownership checking done as in GNATprove should ignore address of
subprograms, as it applies only on objects. Now fixed.
There is no impact on compilation.
2019-08-21 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.adb (Process_Path): Do nothing on address of
subprogram.
From-SVN: r274779
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions