From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 28 May 2020 18:28:28 +0000 (+0200)
Subject: [Ada] Target name is an object reference
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b2410a1f023b5206155b62678dc40d70d3e7207b;p=gcc.git

[Ada] Target name is an object reference

gcc/ada/

	* sem_util.adb (Is_Object_Reference): Return True on
	N_Target_Name.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 59073b0355f..56fd677ed3c 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -17217,6 +17217,11 @@ package body Sem_Util is
                return Is_Rewrite_Substitution (N)
                  and then Is_Object_Reference (Original_Node (N));
 
+            --  AI12-0125: Target name represents a constant object
+
+            when N_Target_Name =>
+               return True;
+
             when others =>
                return False;
          end case;