+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
+ Load_Address argument and pass it down to Init_Module.
+ * libgnat/s-tsmona__linux.adb (Build_Cache_For_All_Modules): Pass
+ lm.l_addr as the Load_Address to Add_Module_To_Cache.
+
+2018-04-04 Piotr Trojanek <trojanek@adacore.com>
+
+ * einfo.adb (Has_Discriminants): Stronger assertion.
+ (Set_Has_Discriminants): Stronger assertion.
+ * sem_ch13.adb (Push_Scope_And_Install_Discriminants): Adapt to respect
+ the stronger assertion on Has_Discriminant.
+ (Uninstall_Discriminants_And_Pop_Scope): Same as above.
+ * sem_util.adb (New_Copy_Tree): Same as above.
+ * sem_ch7.adb (Generate_Parent_References): Prevent calls to
+ Has_Discriminant on non-type entities that might happen when the
+ compiled code has errors.
+ * sem_ch3.adb (Derived_Type_Declaration): Only call
+ Set_Has_Discriminant on type entities.
+
+2018-04-04 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_unst.adb (Unnest_Subprogram): Unnest all subprograms relevant for
+ code generation.
+
+2018-04-04 Piotr Trojanek <trojanek@adacore.com>
+
+ * lib.ads: Fix typo in enumeration in comment.
+
+2018-04-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_attr.adb (Analyze_Attribute, case Scalar_Storage_Order): The
+ attribute reference is legal within a generic unit when the prefix is a
+ formal private type.
+
+2018-04-04 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch7.adb (Establish_Transient_Scope): Code cleanup. Do not
+ delegate the secondary stack management when there is no suitable
+ transient context, and the transient scope was intended to manage the
+ secondary stack because this causes premature reclamation. Change the
+ transient scope creation logic by special casing assignment statements
+ of controlled components for type initialization procedures.
+ (Find_Node_To_Be_Wrapped): Renamed to Find_Transient_Context. Update
+ the comment on usage.
+ (Find_Transient_Context): Change the initinte loop into a while loop.
+ Iterations schemes and iterator specifications are not valid transient
+ contexts because they rely on special processing. Assignment statements
+ are now treated as a normal transient context, special cases are
+ handled by the caller. Add special processing for pragma Check.
+ (Is_OK_Construct): Removed. Its functionality has been merged in
+ routine Find_Transient_Context.
+ * sem_ch5.adb (Check_Call): Reimplemented. Add code to properly
+ retrieve the subprogram being invoked. Use a more accurate predicate
+ (Requires_Transient_Scope) to determine that the function will emply
+ the secondary stack.
+
+2018-04-04 Piotr Trojanek <trojanek@adacore.com>
+
+ * ada_get_targ.adb: Fix subprogram body headers.
+ * adabkend.adb: Likewise.
+ * checks.adb: Likewise.
+ * exp_ch3.adb: Likewise.
+ * exp_ch5.adb: Likewise.
+ * exp_ch9.adb: Likewise.
+ * exp_dist.adb: Likewise.
+ * exp_tss.adb: Likewise.
+ * inline.adb: Likewise.
+ * lib-writ.adb: Likewise.
+ * lib-xref-spark_specific.adb: Likewise.
+ * libgnarl/s-osinte__darwin.adb: Likewise.
+ * libgnarl/s-stusta.adb: Likewise.
+ * libgnarl/s-taprop__solaris.adb: Likewise.
+ * libgnarl/s-tposen.adb: Likewise.
+ * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
+ * libgnarl/s-vxwext__kernel.adb: Likewise.
+ * libgnat/a-btgbso.adb: Likewise.
+ * libgnat/a-cfdlli.adb: Likewise.
+ * libgnat/a-cfhama.adb: Likewise.
+ * libgnat/a-cfinve.adb: Likewise.
+ * libgnat/a-cimutr.adb: Likewise.
+ * libgnat/a-coboho.adb: Likewise.
+ * libgnat/a-cofove.adb: Likewise.
+ * libgnat/a-cofuve.adb: Likewise.
+ * libgnat/a-comutr.adb: Likewise.
+ * libgnat/a-exexda.adb: Likewise.
+ * libgnat/a-tags.adb: Likewise.
+ * libgnat/a-tideau.adb: Likewise.
+ * libgnat/a-wtdeau.adb: Likewise.
+ * libgnat/a-ztdeau.adb: Likewise.
+ * libgnat/g-alleve.adb: Likewise.
+ * libgnat/s-excdeb.adb: Likewise.
+ * libgnat/s-parint.adb: Likewise.
+ * libgnat/s-shasto.adb: Likewise.
+ * libgnat/s-traceb__hpux.adb: Likewise.
+ * prepcomp.adb: Likewise.
+ * sem_ch4.adb: Likewise.
+ * sem_ch6.adb: Likewise.
+ * sem_dist.adb: Likewise.
+ * sem_prag.adb: Likewise.
+ * sem_util.adb: Likewise.
+ * sinfo.adb: Likewise.
+ * switch.adb: Likewise.
+
+2018-05-04 John Marino <gnugcc@marino.st>
+
+ PR ada/85635
+ * link.c (BSD platforms): Add missing backslash.
+
+2018-04-27 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/85540
+ * init.c (__gnat_handle_vms_condition): Add missing parentheses.
+
+2018-04-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/85007
+ * gnat_ugn.texi: Regenerate.
+
+2018-03-23 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/85007
+ * gnatlink.adb (Gnatlink): Remove handling of -b switch.
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink):
+ Remove documentation of -b switch.
+
2018-03-23 Eric Botcazou <ebotcazou@adacore.com>
PR ada/85036