[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f9dcd0c72f1adddc364e1ca2166c6943040997e3..65e57efea55779f01a0d81acd4103155ed75e35e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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

diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb
index f99dced0da39ec353fcc9b3fe2e3abf8480264ca..a24648289572b21c05dd5c1840056564a97653d1 100644 (file)
--- a/gcc/ada/sem_spark.adb
+++ b/gcc/ada/sem_spark.adb
@@ -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;