From d43584ca123f03c24aa7e59a43ecf2bd3a6e4863 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 23 Jan 2017 12:54:05 +0100 Subject: [multiple changes] 2017-01-23 Hristian Kirtchev * 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 * 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 * exp_spark.adb: Alphabetize with clauses. From-SVN: r244788 --- gcc/ada/sem_util.adb | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'gcc/ada/sem_util.adb') 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; -- cgit v1.1