From: Bob Duff <duff@adacore.com>
Date: Thu, 19 Nov 2015 16:40:37 +0000 (+0000)
Subject: sem_elab.adb (Check_Internal_Call_Continue): Correction to previous change...
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=04a9bb6ec35a925ec15fcaafe16124748c3bfcc9;p=gcc.git

sem_elab.adb (Check_Internal_Call_Continue): Correction to previous change...

2015-11-19  Bob Duff  <duff@adacore.com>

	* sem_elab.adb (Check_Internal_Call_Continue): Correction to previous
	change: correctly handle generic formals/actuals that look like
	renamings.

From-SVN: r230617
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 77ac16211cc..ddfe03e1aec 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2015-11-19  Bob Duff  <duff@adacore.com>
+
+	* sem_elab.adb (Check_Internal_Call_Continue): Correction to previous
+	change: correctly handle generic formals/actuals that look like
+	renamings.
+
 2015-11-18  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/trans.c (elaborate_all_entities_for_package): New
diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb
index b229c1bd9b0..92118abdc84 100644
--- a/gcc/ada/sem_elab.adb
+++ b/gcc/ada/sem_elab.adb
@@ -2407,7 +2407,7 @@ package body Sem_Elab is
                Error_Msg_NE
                  ("cannot call& before body seen<<", N, Orig_Ent);
 
-            else
+            elsif not Is_Generic_Actual_Subprogram (Orig_Ent) then
                Insert_Check := False;
             end if;