]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[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)
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

index f9dcd0c72f1adddc364e1ca2166c6943040997e3..65e57efea55779f01a0d81acd4103155ed75e35e 100644 (file)
@@ -1,3 +1,8 @@
+2019-08-21  Yannick Moy  <moy@adacore.com>
+
+       * sem_spark.adb (Process_Path): Do nothing on address of
+       subprogram.
+
 2019-08-21  Eric Botcazou  <ebotcazou@adacore.com>
 
        * exp_util.adb (Finalize_Address): Deal consistently with
index f99dced0da39ec353fcc9b3fe2e3abf8480264ca..a24648289572b21c05dd5c1840056564a97653d1 100644 (file)
@@ -5110,6 +5110,7 @@ package body Sem_SPARK is
       --  in an object.
 
       if not Present (Root)
+        or else not Is_Object (Root)
         or else not Is_Deep (Etype (Root))
       then
          return;