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 77ac16211cc5788cafa912da51b06fc36dd333fa..ddfe03e1aecd39f4736521726fdfab4c006ccb72 100644 (file)
--- 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 b229c1bd9b0c370360a7cff206357b5f34a9b5a4..92118abdc846ed0aa31e5e997b46689c0835d0e5 100644 (file)
--- 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;