diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:24:47 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:24:47 +0100 |
| commit | 9313a26a9ad02e45a1b75d9274f5025015356669 (patch) | |
| tree | 93acdab7460f98cc9ac128236578eb6e952d1e94 /gcc/ada/exp_ch6.adb | |
| parent | 4b7fd13182946da2c33fc2c1df6614122e217b59 (diff) | |
| download | gcc-9313a26a9ad02e45a1b75d9274f5025015356669.zip gcc-9313a26a9ad02e45a1b75d9274f5025015356669.tar.gz gcc-9313a26a9ad02e45a1b75d9274f5025015356669.tar.bz2 | |
[multiple changes]
2017-01-23 Gary Dismukes <dismukes@adacore.com>
* exp_strm.ads: Minor reformatting and typo fixes.
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aggr.adb, par_sco.adb, exp_util.adb, sem.adb, sem_ch4.adb,
exp_aggr.adb: Minor reformatting.
* g-diopit.adb: minor grammar/punctuation fix in comment.
* g-byorma.ads: minor fix of unbalanced parens in comment.
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* par.adb: Update the documentation of component Labl.
* par-ch6.adb (P_Return_Statement): Set the expected label of
an extended return statement to Error.
2017-01-23 Tristan Gingold <gingold@adacore.com>
* s-boustr.ads, s-boustr.adb (Is_Full): New function.
2017-01-23 Ed Schonberg <schonberg@adacore.com>
* expander.adb: Handle N_Delta_Aggregate.
2017-01-23 Javier Miranda <miranda@adacore.com>
* exp_ch6.adb (Expand_Call): Improve the code that
checks if some formal of the called subprogram is a class-wide
interface, to handle subtypes of class-wide interfaces.
2017-01-23 Javier Miranda <miranda@adacore.com>
* checks.adb (Apply_Parameter_Aliasing_Checks):
Remove side effects of the actuals before generating the overlap
check.
From-SVN: r244806
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index a6579c2..e9f1331 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -2832,10 +2832,12 @@ package body Exp_Ch6 is CW_Interface_Formals_Present := CW_Interface_Formals_Present or else - (Ekind (Etype (Formal)) = E_Class_Wide_Type + (Is_Class_Wide_Type (Etype (Formal)) and then Is_Interface (Etype (Etype (Formal)))) or else (Ekind (Etype (Formal)) = E_Anonymous_Access_Type + and then Is_Class_Wide_Type (Directly_Designated_Type + (Etype (Etype (Formal)))) and then Is_Interface (Directly_Designated_Type (Etype (Etype (Formal))))); |