From a77152ca855e6009a38ee011043465d60ed8f5c2 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 23 Jan 2017 12:57:27 +0100 Subject: [multiple changes] 2017-01-23 Yannick Moy * frontend.adb (Frontend): Do not load runtime unit for GNATprove when parsing failed. * exp_ch9.adb: minor removal of extra whitespace * exp_ch6.adb: minor typo in comment * sem_util.adb: Code cleanup. * exp_ch9.ads, par-ch2.adb: minor style fixes in whitespace and comment * a-ngcefu.adb: minor style fix in whitespace 2017-01-23 Thomas Quinot * scos.ads: Document usage of 'd' as default SCO kind for declarations. * par_sco.adb (Traverse_Declarations_Or_Statements. Traverse_Degenerate_Subprogram): New supporting routine for expression functions and null procedures. (Traverse_Declarations_Or_Statements.Traverse_One): Add N_Expression_Function to the subprogram case; add required support for null procedures and expression functions. 2017-01-23 Bob Duff * namet.ads (Bounded_String): Decrease the size of type Bounded_String to avoid running out of stack space. * namet.ads (Append): Don't ignore buffer overflow; raise Program_Error instead. From-SVN: r244789 --- gcc/ada/sem_util.adb | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) (limited to 'gcc/ada/sem_util.adb') diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 3f71442..752a69b 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -9344,17 +9344,8 @@ package body Sem_Util is -- The implicit case lacks all property pragmas elsif No (AR) and then No (AW) and then No (ER) and then No (EW) then - - -- A variable of a protected type only has the properties - -- Async_Readers and Async_Writers. It cannot have Part_Of - -- components (only protected objects can), hence it cannot - -- inherit their properties Effective_Reads and Effective_Writes. - -- (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 Protected_Object_Has_Enabled_Property; else return True; end if; -- cgit v1.1