diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:39:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:39:29 +0200 |
| commit | 6fdc25c4a37d71887bbde1738523d6880eeae50b (patch) | |
| tree | d212ff77621dce8c5005b65eaa72576491c5ce11 /gcc/ada/sem_ch4.adb | |
| parent | c0e938d0cdbc3ae9b202e855d9f7ccea96138344 (diff) | |
| download | gcc-6fdc25c4a37d71887bbde1738523d6880eeae50b.zip gcc-6fdc25c4a37d71887bbde1738523d6880eeae50b.tar.gz gcc-6fdc25c4a37d71887bbde1738523d6880eeae50b.tar.bz2 | |
[multiple changes]
2017-05-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Find_Equality_Types, Try_One_Interp): The same relaxed
visibility rules for equality operators that apply within an
instantiation apply within an inlined body.
* sem_type.adb (Add_One_Interp): ditto.
2017-05-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Forbid pragma Contract_Cases on null
procedures.
2017-05-02 Eric Botcazou <ebotcazou@adacore.com>
* snames.ads-tmpl
(Name_Assume, Name_Attribute_Definition, Name_Loop_Optimize,
Name_No_Tagged_Streams): Move to regular pragmas. Add
placeholders for Default_Scalar_Storage_Order, Dispatching_Domain,
and Secondary_Stack_Size.
(Pragma_Id): Move Pragma_Assume,
Pragma_Attribute_Definition, Pragma_Loop_Optimize and
Pragma_No_Tagged_Streams to second part.
From-SVN: r247470
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 12f930d..9a22b8e 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -6476,7 +6476,7 @@ package body Sem_Ch4 is -- Either the types are compatible, or one operand is universal -- (numeric or null). - or else (In_Instance + or else ((In_Instance or else In_Inlined_Body) and then (First_Subtype (T1) = First_Subtype (Etype (R)) or else Nkind (R) = N_Null |