diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 12:54:05 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 12:54:05 +0100 |
| commit | d43584ca123f03c24aa7e59a43ecf2bd3a6e4863 (patch) | |
| tree | 5c7896f94b60c3c0c1fe404b8c967066aca643fe /gcc/ada/sem_util.adb | |
| parent | 0f83b0444cf59c7d73fd870e71f6cac3c69a134e (diff) | |
| download | gcc-d43584ca123f03c24aa7e59a43ecf2bd3a6e4863.zip gcc-d43584ca123f03c24aa7e59a43ecf2bd3a6e4863.tar.gz gcc-d43584ca123f03c24aa7e59a43ecf2bd3a6e4863.tar.bz2 | |
[multiple changes]
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch5.adb, freeze.adb, par-ch4.adb, scng.adb, sem_ch13.adb,
sem_ch3.adb, sem_ch5.adb, sem_ch5.ads, sem_util.adb, sinfo.ads: Minor
reformatting.
* exp_ch9.adb: minor style fix in comment.
2017-01-23 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Allocator): Handle properly a type derived
for a limited record extension with unknown discriminants whose
full view has no discriminants.
2017-01-23 Yannick Moy <moy@adacore.com>
* exp_spark.adb: Alphabetize with clauses.
From-SVN: r244788
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 5958d42..3f71442 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -9140,16 +9140,16 @@ package body Sem_Util is begin -- Protected objects always have the properties Async_Readers and - -- Async_Writers. (SPARK RM 7.1.2(16)) + -- Async_Writers (SPARK RM 7.1.2(16)). if Property = Name_Async_Readers or else Property = Name_Async_Writers then return True; - -- Protected objects that have Part_Of components also inherit - -- their properties Effective_Reads and Effective_Writes. (SPARK - -- RM 7.1.2(16)) + -- Protected objects that have Part_Of components also inherit their + -- properties Effective_Reads and Effective_Writes + -- (SPARK RM 7.1.2(16)). elsif Present (Constits) then Constit_Elmt := First_Elmt (Constits); @@ -9352,8 +9352,9 @@ package body Sem_Util is -- (SPARK RM 7.1.2(16)) if Is_Protected_Type (Etype (Item_Id)) then - return Property = Name_Async_Readers - or else Property = Name_Async_Writers; + return + Property = Name_Async_Readers + or else Property = Name_Async_Writers; else return True; end if; @@ -9377,8 +9378,8 @@ package body Sem_Util is -- By default, protected objects only have the properties Async_Readers -- and Async_Writers. If they have Part_Of components, they also inherit - -- their properties Effective_Reads and Effective_Writes. (SPARK RM - -- 7.1.2(16)) + -- their properties Effective_Reads and Effective_Writes + -- (SPARK RM 7.1.2(16)). elsif Ekind (Item_Id) = E_Protected_Object then return Protected_Object_Has_Enabled_Property; |