diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2020-10-20 09:42:57 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:38 -0500 |
| commit | 3268fb4dace884ad985965cbd64f3804b2f8fd74 (patch) | |
| tree | f668d57c48f17b3556baa67268395c41a80bf722 /gcc | |
| parent | 1e00c00d8a74a5f7dc8583aeb146f21e13b252ab (diff) | |
| download | gcc-3268fb4dace884ad985965cbd64f3804b2f8fd74.zip gcc-3268fb4dace884ad985965cbd64f3804b2f8fd74.tar.gz gcc-3268fb4dace884ad985965cbd64f3804b2f8fd74.tar.bz2 | |
[Ada] Spurious error on formal package with overloaded subprograms
gcc/ada/
* sem_ch12.adb (Instantiate_Formal_Package): If previous matched
entity is overloadable, advance in the list of actuals of the
actual package, to prevent an erroneous match of two adjacent
overloadable homonyms with the same entity.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch12.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index dfb0765..20a00d7 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -10801,6 +10801,16 @@ package body Sem_Ch12 is Next_Non_Pragma (Formal_Node); Next (Actual_Of_Formal); + -- A formal subprogram may be overloaded, so advance in + -- the list of actuals to make sure we do not match two + -- successive formals to the same actual. This is only + -- relevant for overloadable entities, others have + -- distinct names. + + if Is_Overloadable (Actual_Ent) then + Next_Entity (Actual_Ent); + end if; + else -- No further formals to match, but the generic part may -- contain inherited operation that are not hidden in the |