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
+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
-- in an object.
if not Present (Root)
+ or else not Is_Object (Root)
or else not Is_Deep (Etype (Root))
then
return;