[Ada] Remove External aspect from predefined abstract states

[gcc.git] / gcc / ada / ChangeLog

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6eadcf957fadc6efec6b7f7f5c854896231c0b90..a62bbe13089155a6eb9a656ab496ba07df20571c 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,69 @@
+2018-04-04  Piotr Trojanek  <trojanek@adacore.com>
+
+       * libgnarl/a-reatim.ads (Clock_Time): Remove External aspect.
+       * libgnarl/a-taside.ads (Tasking_State): Likewise.
+       * libgnat/a-calend.ads (Clock_Time): Likewise.
+
+2018-04-04  Yannick Moy  <moy@adacore.com>
+
+       * sem_ch6.adb (Analyze_Procedure_Call): Refine test to recognize prefix
+       call notation in inlined call in GNATprove mode.
+
+2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * einfo.adb (Is_External_State): An abstract state is also external
+       when it is declared with option "synchronous".
+       * einfo.ads: Update the documentation of synthesized attribute
+       Is_External_State.
+       * sem_util.adb (Find_Simple_Properties): New routine.
+       (Is_Enabled_External_Property): New routine.
+       (State_Has_Enabled_Property): Reimplemented. The two flavors of option
+       External have precedence over option Synchronous when determining
+       whether a property is in effect.
+
+2018-04-04  Yannick Moy  <moy@adacore.com>
+
+       * sem_eval.adb (Static_Length): Take into account case of variable of
+       subtype string literal.
+
+2018-04-04  Olivier Hainque  <hainque@adacore.com>
+
+       * libgnat/s-objrea.ads (Get_Memory_Bounds): Rename as Get_Xcode_Bounds.
+       (Object_Section): Rename Flag_Alloc component as Flag_Xcode.
+       * libgnat/s-objrea.adb (Get_Xcode_Bounds): Adjust to new subprogram and
+       component name.
+       (Get_Section, ELF case): Set Flag_Xcode from SHF_EXECINSTR.
+       * libgnat/s-dwalin.adb (Open): Adjust to the Get_Memory_Bounds name
+       change.
+
+2018-04-04  Olivier Hainque  <hainque@adacore.com>
+
+       * libgnat/s-dwalin.ads (Dwarf_Context): Change type of Load_Address to
+       Address, and type of Low, High to Storage_Offset.
+       (Low): Rename as Low_Address and convey that the return value is a
+       runtime reference accounting for a load address.
+       * libgnat/s-dwalin.adb (Read_Aranges_Entry): Adjust to the
+       address/offset type changes.
+       (Aranges_Lookup): Likewise.
+       (Symbolic_Address): Likewise.
+       (Symbolic_Traceback): Likewise.
+       (Dump_Cache): Likewise.
+       (Is_Inside): Likewise.
+       (Open): Likewise.
+       (Set_Load_Address): Likewise.
+       (Low_Address): Likewise, and account for C.Load_Address.
+       * libgnat/s-trasym__dwarf.adb (Lt): Use Low_Address instead of Low.
+       (Multi_Module_Symbolic_Traceback): Compare address in traceback
+       with module Low_Address instead of Low.
+
+2018-04-04  Olivier Hainque  <hainque@adacore.com>
+
+       * libgnat/s-dwalin.ads (Dwarf_Context): Rename Load_Slide as
+       Load_Address.
+       * libgnat/s-dwalin.adb (Is_Inside): Adjust accordingly.
+       (Set_Load_Address): Likewise.
+       (Symbolic_Traceback): Likewise.
+
 2018-04-04  Olivier Hainque  <hainque@adacore.com>
 
        * libgnat/s-trasym__dwarf.adb (Add_Module_To_Cache): Expect a