From: Ed Schonberg <schonberg@adacore.com>
Date: Mon, 11 Jun 2018 09:17:40 +0000 (+0000)
Subject: [Ada] Unnesting: fix handling of generic associations
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6cb71164c56dd1b1f53acbb08f9fd5debc533df;p=gcc.git

[Ada] Unnesting: fix handling of generic associations

2018-06-11  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* exp_unst.adb (Visit_Node): Skip generic associations.

From-SVN: r261408
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 791942d377c..d0722f772d8 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-06-11  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_unst.adb (Visit_Node): Skip generic associations.
+
 2018-06-11  Arnaud Charlet  <charlet@adacore.com>
 
 	* libgnat/memtrack.adb (fwrite): Remove second definition.
diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb
index 9ad43f497f1..1cdb2a576f0 100644
--- a/gcc/ada/exp_unst.adb
+++ b/gcc/ada/exp_unst.adb
@@ -825,6 +825,13 @@ package body Exp_Unst is
                      return Skip;
                   end if;
 
+               --  Generic associations are not analyzed: the actuals are
+               --  transferred to renaming qnd subtype declarations that
+               --  are the ones that must be examined.
+
+               when N_Generic_Association =>
+                  return Skip;
+
                --  Indexed references can be uplevel if the type isn't static
                --  and if the lower bound (or an inner bound for a multi-
                --  dimensional array) is uplevel.