]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Ignore subprogram address in ownership checking
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Aug 2019 08:29:47 +0000 (08:29 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Aug 2019 08:29:47 +0000 (08:29 +0000)
commitc7ff8e7ac212d40349d6c9a353f383fa5e8d34a8
treec4c29837ff9a4e2ddafdb2c3fa0df2423c7d9319
parentf9329a6ef35a34a39a6fd9c63588cfbe9cd13581
[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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@274779 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_spark.adb