From: Ed Schonberg <schonberg@adacore.com>
Date: Tue, 12 Jun 2012 12:07:11 +0000 (+0000)
Subject: sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply AI05-296 if the actual... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33738c606df5ea714dd9260ba65e7643e3216dea;p=gcc.git

sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply AI05-296 if the actual is overloaded.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply
	AI05-296 if the actual is overloaded. In this case The rule must
	be applied after resolution, in Analyze_Subprogram_Renaming.

From-SVN: r188450
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5944186d0d2..b4a3477be94 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2012-06-12  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply
+	AI05-296 if the actual is overloaded. In this case The rule must
+	be applied after resolution, in Analyze_Subprogram_Renaming.
+
 2012-06-12  Robert Dewar  <dewar@adacore.com>
 
 	* stringt.adb: Minor reformatting.
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index edca3383811..fb9a4514c25 100644
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -9450,6 +9450,7 @@ package body Sem_Ch12 is
             end if;
 
             if Is_Entity_Name (Actual)
+              and then not Is_Overloaded (Actual)
               and then not Has_Untagged_Inc
             then
                F := First_Formal (Entity (Actual));