From 570d0072bdcdd0e9e7d6acb33f594c22efa24ac7 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Wed, 21 Aug 2019 08:29:47 +0000 Subject: [PATCH] [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 gcc/ada/ * sem_spark.adb (Process_Path): Do nothing on address of subprogram. From-SVN: r274779 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_spark.adb | 1 + 2 files changed, 6 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f9dcd0c72f1..65e57efea55 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-08-21 Yannick Moy + + * sem_spark.adb (Process_Path): Do nothing on address of + subprogram. + 2019-08-21 Eric Botcazou * exp_util.adb (Finalize_Address): Deal consistently with diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index f99dced0da3..a2464828957 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; -- 2.30.2