From: Yannick Moy <moy@adacore.com>
Date: Wed, 21 Aug 2019 08:29:47 +0000 (+0000)
Subject: [Ada] Ignore subprogram address in ownership checking
X-Git-Tag: misc/cutover-git~3172
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=570d0072bdcdd0e9e7d6acb33f594c22efa24ac7;p=thirdparty%2Fgcc.git

[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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f9dcd0c72f1a..65e57efea557 100644
--- 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 f99dced0da39..a24648289572 100644
--- 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;