aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2020-05-28 20:28:28 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2020-07-15 09:42:58 -0400
commitb2410a1f023b5206155b62678dc40d70d3e7207b (patch)
tree9a96accd00570cfcb4bb7452c940cd7d5ceeb694
parent584901842554439c3c1306a7966192da4102aa33 (diff)
downloadgcc-b2410a1f023b5206155b62678dc40d70d3e7207b.zip
gcc-b2410a1f023b5206155b62678dc40d70d3e7207b.tar.gz
gcc-b2410a1f023b5206155b62678dc40d70d3e7207b.tar.bz2
[Ada] Target name is an object reference
gcc/ada/ * sem_util.adb (Is_Object_Reference): Return True on N_Target_Name.
-rw-r--r--gcc/ada/sem_util.adb5
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 59073b0..56fd677 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;