diff options
author | Ed Schonberg <schonberg@adacore.com> | 2012-06-12 12:07:11 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-06-12 14:07:11 +0200 |
commit | 33738c606df5ea714dd9260ba65e7643e3216dea (patch) | |
tree | 398c424ccc8f4c969bbc9c62192c994b6868861b /gcc/ada | |
parent | e98668b178c080f9e264011a3af160d02a796a4f (diff) | |
download | gcc-33738c606df5ea714dd9260ba65e7643e3216dea.zip gcc-33738c606df5ea714dd9260ba65e7643e3216dea.tar.gz gcc-33738c606df5ea714dd9260ba65e7643e3216dea.tar.bz2 |
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
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/ada/sem_ch12.adb | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5944186..b4a3477 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 edca338..fb9a451 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)); |