From c8d3b4ff3f469a3553c0e5d27b5d25dd03bf34e0 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 12 May 2015 17:00:49 +0200 Subject: [multiple changes] 2015-05-12 Pierre-Marie de Rodat * sem_ch10.adb (Sem_Ch10.Analyze_Proper_Body): Generate SCOs for subunit in generic units. 2015-05-12 Robert Dewar * sem_elab.adb (Check_A_Call): Avoid checking internal call from Valid_Scalars 2015-05-12 Ed Schonberg * sem_ch6.adb (Process_Formals): An untagged incomplete type is legal in the profile of a null procedure. 2015-05-12 Ed Schonberg * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the checks on a derived formal whose parent type is a previous formal that is not a derived type. 2015-05-12 Robert Dewar * aspects.ads, aspects.adb: Add entries for aspect Volatile_Full_Access * einfo.adb (Has_Volatile_Full_Access): New flag. (Has_Volatile_Full_Access): New flag. * einfo.ads (Has_Volatile_Full_Access): New flag. * par-prag.adb: Add dummy entry for Volatile_Full_Access. * sem_prag.adb (Analyze_Pragma, case Volatile_Full_Access): Implement new pragma. * snames.ads-tmpl: Add entries for pragma Volatile_Full_Access. 2015-05-12 Robert Dewar * targparm.ads: Minor reformatting. 2015-05-12 Robert Dewar * a-reatim.adb (Time_Of): Properly detect overflow when TS = 0.0. * a-reatim.ads: Minor reformatting. From-SVN: r223074 --- gcc/ada/aspects.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gcc/ada/aspects.adb') diff --git a/gcc/ada/aspects.adb b/gcc/ada/aspects.adb index bef432f..976b89d 100644 --- a/gcc/ada/aspects.adb +++ b/gcc/ada/aspects.adb @@ -55,6 +55,7 @@ package body Aspects is Aspect_Unchecked_Union => True, Aspect_Variable_Indexing => True, Aspect_Volatile => True, + Aspect_Volatile_Full_Access => True, others => False); -- The following array indicates type aspects that are inherited and apply @@ -606,6 +607,7 @@ package body Aspects is Aspect_Value_Size => Aspect_Value_Size, Aspect_Volatile => Aspect_Volatile, Aspect_Volatile_Components => Aspect_Volatile_Components, + Aspect_Volatile_Full_Access => Aspect_Volatile_Full_Access, Aspect_Warnings => Aspect_Warnings, Aspect_Write => Aspect_Write); -- cgit v1.1