CbC/CbC_gcc: gcc/ada/ChangeLog-2016 comparison

comparison gcc/ada/ChangeLog-2016 @ 111:04ced10e8804

gcc 7

author	kono
date	Fri, 27 Oct 2017 22:46:09 +0900
parents
children

comparison

equal deleted inserted replaced

-:561a7518be6b
+:04ced10e8804
+2016-12-07  Pierre-Marie de Rodat  <derodat@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): When they are global,
+	consider ___XR GNAT encodings variables for renamings as static so
+	they have a location in the debug info.
+2016-12-07  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Translate
+	System.Address into ptr_type_node for every foreign convention.
+	(gnat_to_gnu_subprog_type): Likewise for result and parameter types.
+	(gnat_to_gnu_param): Do not do it here for GCC builtins.
+	(intrin_return_compatible_p): Likewise.
+2016-12-07  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Subtype>:
+	Also call finish_character_type on Character subtypes.
+	* gcc-interface/utils.c (finish_character_type): Deal with subtypes.
+2016-12-05  Mikael Pettersson  <mikpe@it.uu.se>
+	PR ada/48835
+	* gcc-interface/Makefile.in: Add support for m68k-linux.
+	* system-linux-m68k.ads: New file.
+2016-12-05  Eric Botcazou  <ebotcazou@adacore.com>
+	* system-darwin-ppc.ads (Support_Atomic_Primitives): Set to True only
+	if the word size is 64.
+2016-11-30  Gary Dismukes  <dismukes@adacore.com>
+	* sem_prag.adb, sem_ch6.adb: Minor reformatting and typo fixes.
+	* g-sechas.adb: Minor reformatting.
+	* lib-xref.ads: minor grammar fix in comment.
+	* lib-xref-spark_specific.adb
+	(Is_SPARK_Reference): do not ignore references to concurrent
+	objects.
+	* sinfo.ads: Fix of unbalanced parens in comment
+2016-11-30  Ed Schonberg  <schonberg@adacore.com>
+	* lib-xref.adb (Get_Type_Reference): If the entity is a function
+	returning a classwide type, the type reference is obtained right
+	away and does not need further unwinding.
+2016-11-30  Javier Miranda  <miranda@adacore.com>
+	* sem_ch8.adb (Find_Renamed_Entity): For non-overloaded subprogram
+	actuals of generic units check that the spec of the renaming
+	and renamed entities match.
+2016-11-30  Tristan Gingold  <gingold@adacore.com>
+	* raise-gcc.c: For CERT runtimes: do not use gcc includes, simplify
+	the handling.
+	* sem_attr.adb (Analyze_Attribute): Check No_Dynamic_Priorities
+	restriction for Priority Attribute.
+2016-11-27  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/78524
+	* gcc-interface/utils.c (max_size) <tcc_reference>: Add missing
+	conversion to original type in the PLACEHOLDER_EXPR case.
+2016-11-27  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/78531
+	* namet.h (Max_Line_Length): Define.
+	(struct Bounded_String): Declare Chars with exact size.
+	(namet__get_decoded_name_string): Delete.
+	(Get_Decoded_Name_String): Likewise.
+	(casing__set_all_upper_case): Likewise.
+2016-11-22  Uros Bizjak  <ubizjak@gmail.com>
+	* gcc-interface/Make-lang.in (check-acats): Fix detection
+	of -j argument.
+2016-11-18  Richard Sandiford  <richard.sandiford@arm.com>
+	    Alan Hayward  <alan.hayward@arm.com>
+	    David Sherwood  <david.sherwood@arm.com>
+	* gcc-interface/utils.c (create_label_decl): Use SET_DECL_MODE.
+2016-11-14  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/Makefile.in: Replace s-interr-hwint.adb with
+	s-interr-vxworks.adb throughout.
+2016-11-13  Bob Duff  <duff@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): In assertion about known
+	Esize, protect with !is_type and change !Unknown_Esize to Known_Esize.
+2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
+	Look at the underlying type for the signedness of the type.
+2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Deal specially
+	with negative constants.
+2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils2.c (gnat_protect_expr): Also protect only the
+	address if the expression is the component of a dereference.
+	Do not use a reference type for the final temporary reference.
+2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/Makefile.in (NO_OMIT_ADAFLAGS): Define.
+	(a-except.o): Replace -fno-inline with NO_INLINE_ADAFLAGS.
+	(s-memory.o): New rule.
+	(tracebak.o): Replace -fno-omit-frame-pointer with NO_OMIT_ADAFLAGS.
+2016-11-07  Tamar Christina  <tamar.christina@arm.com>
+	* adaint.c: Added signal.h for Windows.
+2016-10-31  Jakub Jelinek  <jakub@redhat.com>
+	* gcc-interface/misc.c (gnat_get_array_descr_info): Clear rank field.
+2016-10-24  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+	* gcc-interface/Make-lang.in (lang_checks_parallelized): New target.
+	(check_gnat_parallelize): Likewise.
+2016-10-20  Nicolas Roche  <roche@adacore.com>
+	* gcc-interface/Makefile (x86-64/Darwin): Restore missing pairs.
+	(x86/Darwin): Likewise.
+2016-10-19  Eric Botcazou  <ebotcazou@adacore.com>
+	* system-linux-armel.ads: Rename into...
+	* system-linux-arm.ads: ...this
+	* gcc-interface/Makefile.in (ARM/Android): Adjust to above renaming.
+	(ARM/Linux): Likewise.
+	(Aarch64/Linux): Likewise.
+2016-10-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS): Define.
+	(EXTRA_GNATRTL_TASKING_OBJS): Likewise.
+	(ARM/Android): Add atomic support.
+	(SPARC/Solaris): Simplify.
+	(x86/Solaris): Likewise.
+	(x86/Linux): Likewise.
+	(x86-64/kFreeBDS): Adjust and use system-freebsd-x86.ads
+	(x86/FreeBSD): Add s-mudido-affinity.adb.
+	(x86-64/FreeBSD): Likewise and use system-freebsd-x86.ads.
+	(s390/Linux): Simplify.
+	(PowerPC/AIX): Likewise.
+	(Cygwin/Mingw): Likewise.
+	(MIPSel/Linux): Likewise.
+	(ARM/Linux): Add atomic support.
+	(Aarch64/Linux): Use system-linux-armel.ads.
+	(SPARC/Linux): Simplify.
+	(IA-64/Linux): Minor tweak.
+	(IA-64/HP-UX): Likewise.
+	(Alpha/Linux): Likewise.
+	(x86-64/Linux): Use system-linux-x86.ads.
+	(x86/Darwin): Simplify.
+	(PowerPC/Darwin): Likewise.
+	(ARM/Darwin): Use system-darwin-arm.ads.
+	(ADA_EXCLUDE_SRCS): Minor reformatting.
+	* system-aix.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	(Support_Atomic_Primitives): Set to True.
+	* system-aix64.ads: Delete.
+	* system-darwin-arm.ads: New.
+	* system-darwin-ppc.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	(Support_Atomic_Primitives): Set to True.
+	* system-darwin-ppc64.ads: New.
+	* system-darwin-x86.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-darwin-x86_64.ads: Delete.
+	* system-freebsd-x86.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-freebsd-x86_64.ads: Delete.
+	* system-linux-alpha.ads (Support_Atomic_Primitives): Set to True.
+	* system-linux-armeb.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	(Support_Atomic_Primitives): Set to True.
+	* system-linux-armel.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	(Support_Atomic_Primitives): Set to True.
+	* system-linux-mips.ads: (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-linux-mipsel.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-linux-s390.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	(Stack_Check_Probes): Set to True.
+	* system-linux-s390x.ads: Delete.
+	* system-linux-sparc.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-linux-sparcv9.ads: Delete.
+	* system-linux-x86.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-linux-x86_64.ads: Delete.
+	* system-mingw-x86_64.ads: Delete.
+	* system-mingw.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-solaris-sparc.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	(Support_Atomic_Primitives): Set to True.
+	* system-solaris-sparcv9.ads: Delete.
+	* system-solaris-x86.ads (Word_Size): Change to Standard'Word_Size.
+	(Memory_Size): Change to 2 ** Word_Size.
+	* system-solaris-x86_64.ads: Delete.
+2016-10-17  Eric Botcazou  <ebotcazou@adacore.com>
+	* system-darwin-ppc64.ads (Support_64_Bit_Divides): Delete.
+	* system-linux-armeb.ads (Support_64_Bit_Divides): Likewise.
+	* system-linux-mips.ads (Support_64_Bit_Divides): Likewise.
+	* system-linux-mips64el.ads (Support_64_Bit_Divides): Likewise.
+	* system-linux-mipsel.ads (Support_64_Bit_Divides): Likewise.
+	* system-linux-sparcv9.ads (Support_64_Bit_Divides): Likewise.
+	* system-rtems.ads (Support_64_Bit_Divides): Likewise.
+2016-10-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/misc.c (LANG_HOOKS_CUSTOM_FUNCTION_DESCRIPTORS):Define.
+	* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Deal with
+	a zero TARGET_CUSTOM_FUNCTION_DESCRIPTORS specially for Code_Address.
+	Otherwise, if TARGET_CUSTOM_FUNCTION_DESCRIPTORS is positive, set
+	FUNC_ADDR_BY_DESCRIPTOR for 'Access/'Unrestricted_Access of nested
+	subprograms if the type can use an internal representation.
+	(call_to_gnu): Likewise, but set CALL_EXPR_BY_DESCRIPTOR on indirect
+	calls if the type can use an internal representation.
+2016-10-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* system-aix.ads (Always_Compatible_Rep): Change to False.
+	* system-aix64.ads (Always_Compatible_Rep): Likewise.
+	* system-hpux-ia64.ads (Always_Compatible_Rep): Likewise.
+	* system-hpux.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-alpha.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-hppa.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-ia64.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-mips.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-mips64el.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-mipsel.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-s390.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-s390x.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-sh4.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-sparc.ads (Always_Compatible_Rep): Likewise.
+	* system-linux-sparcv9.ads (Always_Compatible_Rep): Likewise.
+	* system-rtems.ads (Always_Compatible_Rep): Likewise.
+2016-10-14  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/77968
+	* gcc-interface/utils.c (create_var_decl): Do not clear TREE_READONLY
+	in LTO mode for an external variable.
+	(can_materialize_object_renaming_p): Move up.
+2016-10-13  Thomas Preud'homme  <thomas.preudhomme@arm.com>
+	* gcc-interface/utils2.c: Include memmodel.h.
+2016-10-13  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch6.adb (Analyze_Expression_Function):
+	Remove the aspects of the original expression function has been
+	rewritten into a subprogram declaration or a body. Reinsert the
+	aspects once they have been analyzed.
+2016-10-13  Tristan Gingold  <gingold@adacore.com>
+	* exp_ch9.adb (Expand_N_Asynchronous_Select): Return immediately
+	on restricted profile.
+2016-10-13  Javier Miranda  <miranda@adacore.com>
+	* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Register the
+	pragma for its validation after the backend has been called only if
+	its expression has some occurrence of attributes 'size or 'alignment
+	* table.ads (Release_Threshold): New formal.
+	(Release): Adding documentation of its new functionality.
+	* table.adb (Release): Extend its functionality with a
+	Release_Threshold.
+	* nlists.adb (Next_Node table): Set its Release_Threshold.
+	* atree.adb (Orig_Nodes table): Set its Release_Threshold.
+	* atree.ads (Nodes table): Set its Release_Threshold.
+	(Flags table): Set its Release_Threshold.
+	* alloc.ads (Nodes_Release_Threshold): New constant declaration.
+	(Orig_Nodes_Release_Threshold): New constant declaration.
+	* debug.adb (switch d.9): Left free.
+	* gnat1drv.adb (Post_Compilation_Validation_Checks): Enable
+	validation of pragmas Compile_Time_Error and Compile_Time_Warning.
+2016-10-13  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch6.adb (Create_Extra_Formals): Generate
+	an Itype reference for the object extra formal in case the
+	subprogram is called within the same or nested scope.
+2016-10-13  Claire Dross  <dross@adacore.com>
+	* sem_ch5.adb (Analyze_Iterator_Specification):
+	Also create a renaming in GNATprove mode.
+2016-10-13  Ed Schonberg  <schonberg@adacore.com>
+	* freeze.adb (Freeze_Fixed_Point_Type): in SPARK mode, the
+	given bounds of the type must be strictly representable, and the
+	range reduction by one delta ("shaving") allowed by the Ada RM,
+	is not applicable in SPARK.
+2016-10-13  Javier Miranda  <miranda@adacore.com>
+	* debug.adb (switch d.9): Used to temporarily disable the support
+	needed for this enhancement since it causes regressions with
+	large sources.
+	* gnat1drv.adb (Post_Compilation_Validation_Checks): Temporarily
+	leave the validation of pragmas Compile_Time_Warning and
+	Compile_Time_Error under control of -gnatd.9/
+2016-10-13  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch10.adb (Entity_Needs_Body): A generic
+	subprogram renaming needs a body if the renamed unit is declared
+	outside the current compilation unit.
+2016-10-13  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sinfo.ads, sem_ch12.adb, sem.adb, expander.adb, sem_res.ads,
+	sem_ch4.adb, sem_ch8.adb, s-memory.adb: Minor reformatting.
+2016-10-13  Vincent Celier  <celier@adacore.com>
+	* gnatcmd.adb: Delete all temporary files when invoked as gnat
+	list -V -P ...
+2016-10-13  Ed Falis  <falis@adacore.com>
+	* i-vxinco.adb, i-vxinco.ads: New files.
+	* impunit.adb: add i-vxinco.ads.
+	* s-interr-vxworks.adb: add hook for user interrupt connection routine.
+2016-10-13  Ed Falis  <falis@adacore.com>
+	* s-interr-hwint.adb, s-interr-vxworks.adb: Rename s-interr-hwint.adb
+	to s-interr-vxworks.adb.
+2016-10-13  Gary Dismukes  <dismukes@adacore.com>
+	* exp_ch7.adb, einfo.ads, sem_prag.adb, sem_prag.ads, sem.ads,
+	sem_attr.adb, sem_case.adb, sem_ch13.ads: Minor typo fixes and
+	reformatting.
+2016-10-13  Javier Miranda  <miranda@adacore.com>
+	* sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New
+	overloaded subprogram that factorizes code executed as part
+	of the regular processing of these pragmas and as part of its
+	validation after invoking the backend.
+	* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): New
+	subprogram.
+	(Process_Compile_Time_Warning_Or_Error): If the
+	condition is known at compile time then invoke the new overloaded
+	subprogram; otherwise register the pragma in a table to validate
+	it after invoking the backend.
+	* sem.ads, sem.adb (Unlock): New subprogram.
+	* sem_attr.adb (Analyze_Attribute [Size]): If we are processing
+	pragmas Compile_Time_Warning and Compile_Time_Errors after the
+	backend has been called then evaluate this attribute if 'Size
+	is known at compile time.
+	* gnat1drv.adb (Post_Compilation_Validation_Checks): Validate
+	compile time warnings and errors.
+	* sem_ch13.ads, sem_ch13.adb (Validate_Compile_Time_Warning_Error):
+	New subprogram.
+	(Validate_Compile_Time_Warning_Errors): New subprogram.
+2016-10-13  Yannick Moy  <moy@adacore.com>
+	* sem_prag.adb (Analyze_Refined_Depends_In_Decl_Part): Adapt to
+	optional refinement for abstract states with only partial refinement
+	visible.
+2016-10-13  Justin Squirek  <squirek@adacore.com>
+	* sem_ch13.adb: Minor correction in comment in
+	Analyze_Aspect_Specifications
+	* sem_prag.adb: Minor reformatting.
+2016-10-13  Thomas Quinot  <quinot@adacore.com>
+	* s-stratt-xdr.adb: Disable compiler unit warnings.
+2016-10-13  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Visible_Component): In an instance body, check
+	whether the component may be hidden in a selected component by
+	a homonym that is a primitive operation of the type of the prefix.
+2016-10-13  Jakub Jelinek  <jakub@redhat.com>
+	PR target/77957
+	* gcc-interface/misc.c (LANG_HOOKS_GETDECLS): Use hook_tree_void_null
+	instead of lhd_return_null_tree_v.
+2016-10-12  Yannick Moy  <moy@adacore.com>
+	* einfo.adb, einfo.ads (Partial_Refinement_Constituents): Take
+	into account constituents that are themselves abstract states
+	with full or partial refinement visible.
+	* sem_prag.adb (Find_Encapsulating_State): Move function
+	to library-level, to share between subprograms.
+	(Analyze_Refined_Global_In_Decl_Part): Use
+	Find_Encapsulating_State to get relevant encapsulating state.
+2016-10-12  Arnaud Charlet  <charlet@adacore.com>
+	* gnat1drv.adb: Fix minor typo.
+2016-10-12  Yannick Moy  <moy@adacore.com>
+	* sem_prag.adb (Analyze_Refined_Depends_In_Decl_Part): Adapt checking
+	for optional refinement of abstract state with partial
+	visible refinement.
+	(Analyze_Refined_Global_In_Decl_Part): Adapt checking for optional
+	refinement of abstract state with partial visible refinement. Implement
+	new rules in SPARK RM 7.2.4 related to optional refinement.
+	Also fix the missing detection of missing items.
+2016-10-12  Hristian Kirtchev  <kirtchev@adacore.com>
+	* einfo.adb Add new usage for Elist29 and Node35.
+	(Anonymous_Designated_Type): New routine.
+	(Anonymous_Master): Removed.
+	(Anonymous_Masters): New routine.
+	(Set_Anonymous_Designated_Type): New routine.
+	(Set_Anonymous_Master): Removed.
+	(Set_Anonymous_Masters): New routine.
+	(Write_Field29_Name): Add output for Anonymous_Masters.
+	(Write_Field35_Name): Remove the output for Anonymous_Master. Add
+	output for Anonymous_Designated_Type.
+	* einfo.ads Remove attribute Anonymous_Master along with
+	usage in entities. Add attributes Anonymous_Designated_Type
+	and Anonymous_Masters along with usage in entities.
+	(Anonymous_Designated_Type): New routine along with pragma Inline.
+	(Anonymous_Master): Removed along with pragma Inline.
+	(Anonymous_Masters): New routine along with pragma Inline.
+	(Set_Anonymous_Designated_Type): New routine along with pragma Inline.
+	(Set_Anonymous_Master): Removed along with pragma Inline.
+	(Set_Anonymous_Masters): New routine along with pragma Inline.
+	* exp_ch7.adb (Build_Anonymous_Master): Reuse an anonymous master
+	defined in the same unit if it services the same designated
+	type, otherwise create a new one.
+	(Create_Anonymous_Master): Reimplemented.
+	(Current_Anonymous_Master): New routine.
+	(In_Subtree): Removed.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Analyze_Pragma, case Dynamic_Predicate):
+	Check properly whether there is an explicit assertion policy
+	for predicate checking, even in the presence of a general Ignore
+	assertion policy.
+2016-10-12  Steve Baird  <baird@adacore.com>
+	* sem.adb (Walk_Library_Items): Cope with ignored ghost units.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* lib-writ.adb (Write_ALI): Removal of unused file entries from
+	dependency list must be performed before the list is sorted,
+	so that the dependency number of other files is properly set-up
+	for use in tools that relate entity information to the unit in
+	which they are declared.
+2016-10-12  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_aggr.adb (Initialize_Ctrl_Array_Component):
+	Create a copy of the initialization expression to avoid sharing
+	it between multiple components.
+2016-10-12  Yannick Moy  <moy@adacore.com>
+	* einfo.adb, einfo.ads (Has_Partial_Visible_Refinement): New flag
+	in abtract states.
+	(Has_Non_Null_Visible_Refinement): Return true for patial refinement.
+	(Partial_Refinement_Constituents): New function returns the full or
+	partial refinement constituents depending on scope.
+	* sem_ch3.adb (Analyze_Declarations): Remove partial visible
+	refinements when exiting the scope of a package spec or body
+	and those partial refinements are not in scope afterwards.
+	* sem_ch7.adb, sem_ch7.ads (Install_Partial_Declarations): Mark
+	abstract states of parent units with partial refinement so that
+	it is visible.
+	* sem_prag.adb (Analyze_Part_Of_In_Decl_Part): Mark enclosing
+	abstract state if any as having partial refinement in that scope.
+	(Analyze_Refined_Global_In_Decl_Part): Check constituent usage
+	based on full or partial refinement depending on scope.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch4.adb (Expand_N_Type_Conversion): If the target type
+	has an invariant aspect, insert invariant call at the proper
+	place in the code rather than rewriting the expression as an
+	expression with actions, to prevent spurious semantic errors on
+	the rewritten conversion when it is the object in a renaming.
+2016-10-12  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch5.adb, sem_ch3.adb, exp_ch9.adb, a-tags.adb, sem_prag.adb,
+	sem_ch12.adb, xref_lib.adb, a-strunb-shared.adb, rtsfind.adb,
+	freeze.adb, sem_attr.adb, sem_case.adb, exp_ch4.adb, ghost.adb,
+	exp_ch6.adb, sem_ch4.adb, restrict.adb, s-os_lib.adb: Minor
+	reformatting.
+2016-10-12  Justin Squirek  <squirek@adacore.com>
+	* sem_ch10.adb (Remove_Limited_With_Clause): Add a check to
+	detect accidental visibility.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch4.adb (Expand_Allocator): If the expression is a qualified
+	expression, add a predicate check after the constraint check.
+	* sem_res.adb (Resolve_Qualified_Expression): If context is an
+	allocator, do not apply predicate check, as it will be done when
+	allocator is expanded.
+2016-10-12  Bob Duff  <duff@adacore.com>
+	* xref_lib.adb: Use renamings-of-slices to ensure
+	that all references to Tables are properly bounds checked (when
+	checks are turned on).
+	* g-dyntab.ads, g-dyntab.adb: Default-initialize the array
+	components, so we don't get uninitialized pointers in case
+	of Tables containing access types.  Misc cleanup of the code
+	and comments.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Analyze_Attribute, case 'Type_Key): Implement
+	functionality of attribute, to provide a reasonably unique key
+	for a given type and detect any changes in the semantics of the
+	type or any of its subcomponents from version to version.
+2016-10-12  Bob Duff  <duff@adacore.com>
+	* sem_case.adb (Check_Choice_Set): Separate
+	checking for duplicates out into a separate pass from checking
+	full coverage, because the check for duplicates does not depend
+	on predicates. Therefore, we shouldn't do it separately for the
+	predicate vs. no-predicate case; we should share code. The code
+	for the predicate case was wrong.
+2016-10-12  Jerome Lambourg  <lambourg@adacore.com>
+	* init.c: Make sure to call finit on x86_64-vx7 to reinitialize
+	the FPU unit.
+2016-10-12  Arnaud Charlet  <charlet@adacore.com>
+	* lib-load.adb (Load_Unit): Generate an error message even when
+	Error_Node is null.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* lib-writ.adb (Write_ALI): Disable optimization related to transitive
+	limited_with clauses for now.
+2016-10-12  Javier Miranda  <miranda@adacore.com>
+	* sem_attr.adb (Analyze_Attribute_Old_Result): Generating C
+	code handle 'old located in inlined _postconditions procedures.
+	(Analyze_Attribute [Attribute_Result]): Handle 'result when
+	rewriting the attribute as a reference to the formal parameter
+	_Result of inlined _postconditions procedures.
+2016-10-12  Tristan Gingold  <gingold@adacore.com>
+	* s-rident.ads (Profile_Info): Remove
+	Max_Protected_Entries restriction from GNAT_Extended_Ravenscar
+	* sem_ch9.adb (Analyze_Protected_Type_Declaration):
+	Not a controlled type on restricted runtimes.
+2016-10-12  Gary Dismukes  <dismukes@adacore.com>
+	* sem_ch3.adb (Derive_Subprogram): Add test
+	for Is_Controlled of Parent_Type when determining whether an
+	inherited subprogram with one of the special names Initialize,
+	Adjust, or Finalize should be derived with its normal name even
+	when inherited as a private operation (which would normally
+	result in the inherited operation having a special "hidden" name).
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_res.adb (Resolve_Call): If a function call returns a
+	limited view of a type replace it with the non-limited view,
+	which must be available when compiling call.  This was already
+	done elsewhere for non-overloaded calls, but needs to be done
+	after resolution if function name is overloaded.
+2016-10-12  Javier Miranda  <miranda@adacore.com>
+	* a-tags.adb (IW_Membership [private]): new overloaded
+	subprogram that factorizes the code needed to check if a
+	given type implements an interface type.
+	(IW_Membership
+	[public]): invoke the new internal IW_Membership function.
+	(Is_Descendant_At_Same_Level): Fix this routine to implement RM
+	3.9 (12.3/3)
+2016-10-12  Tristan Gingold  <gingold@adacore.com>
+	* exp_ch9.adb (Expand_N_Delay_Relative_Statement): Add support
+	for a secondary procedure in case of missing Ada.Calendar.Delays
+	* rtsfind.ads (RTU_Id): Add System_Relative_Delays.
+	(RE_Id): Add RO_RD_Delay_For.
+	* rtsfind.adb (Output_Entity_Name): Handle correctly units RO_XX.
+	* s-rident.ads: Remove No_Relative_Delays
+	restriction for GNAT_Extended_Ravenscar.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_elab.adb (Within_Initial_Condition):  When deternining
+	the context of the expression, use the original node if it is
+	a pragma, because Check pragmas are rewritten as conditionals
+	when assertions are not enabled.
+2016-10-12  Bob Duff  <duff@adacore.com>
+	* spitbol_table.ads, spitbol_table.adb (Adjust, Finalize): Add
+	"overriding".
+2016-10-12  Bob Duff  <duff@adacore.com>
+	* a-strunb-shared.ads, a-strunb-shared.adb (Finalize):
+	Make sure Finalize is idempotent.
+	(Unreference): Check for
+	Empty_Shared_String, in case the reference count of the empty
+	string wraps around.
+	Also add "not null" in various places that can't be null.
+2016-10-12  Jerome Lambourg  <lambourg@adacore.com>
+	* init.c: Fix sigtramp with the x86_64-vx7-vxsim target on
+	Windows host.
+2016-10-12  Vadim Godunko  <godunko@adacore.com>
+	* s-os_lib.ads (Is_Owner_Readable_File): Renamed from
+	Is_Readable_File.
+	(Is_Owner_Writable_File): Renamed from Is_Writable_File.
+	(Is_Readable_File): Renames Is_Read_Accessible_File.
+	(Is_Writable_File): Renames Is_Write_Accessible_File.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Check_Formal_Package_Instance): Skip an internal
+	formal entity without a parent only if the corresponding actual
+	entity has a different kind.
+	* exp_ch9.adb (Build_Class_Wide_Master): If the master is
+	declared locally, insert the renaming declaration after the
+	master declaration, to prevent access before elaboration in gigi.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* contracts.adb (Analyze_Contracts): For a type declaration, analyze
+	an iterable aspect when present.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Check_Formal_Package_Instance): Handle properly
+	an instance of a formal package with defaults, when defaulted
+	parameters include tagged private types and array types.
+2016-10-12  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/64057.
+	* exp_ch5.adb (Is_Non_Local_Array): Return true for every array
+	that is not a component or slice of an entity in the current
+	scope.
+2016-10-12  Tristan Gingold  <gingold@adacore.com>
+	* restrict.ads, restrict.adb (Restricted_Profile): Adjust
+	comment, use Restricted_Tasking to compare restrictions.
+	* s-rident.ads (Profile_Name): Add Restricted_Tasking and
+	reorder literals.
+	(Profile_Info): Set restrictions for Restricted_Tasking.
+2016-10-12  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Analyze_Full_Type_Declaration): Set Ghost status
+	of type before elaborating inherited operations, so that the
+	Ghost status is set properly for them.
+	* ghost.adb (Check_Ghost_Overriding): A ghost subprogram can
+	override an abstract subprogram coming from an interface
+	operation.
+2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
+	* system-linux-armeb.ads (Backend_Overflow_Checks): Change to True.
+	* system-linux-mips.ads (Backend_Overflow_Checks): Likewise.
+	* system-linux-mips64el.ads (Backend_Overflow_Checks): Likewise.
+	* system-linux-mipsel.ads (Backend_Overflow_Checks): Likewise.
+	* system-linux-sparcv9.ads (Backend_Overflow_Checks): Likewise.
+	* system-rtems.ads (Backend_Overflow_Checks): Likewise.
+2016-10-11  Andris Pavenis  <andris.pavenis@iki.fi>
+	* adaint.c: Include process.h, signal.h, dir.h and utime.h for DJGPP.
+	ISALPHA: include <ctype.h> and define to isalpha for DJGPP when IN_RTS
+	is defined.
+	(DIR_SEPARATOR) define to '\\' for DJGPP.
+	(__gnat_get_file_names_case_sensitive): Return 0 for DJGPP unless
+	overriden in environment.
+	(__gnat_is_absolute_path): Support MS-DOS absolute paths for DJGPP.
+	(__gnat_portable_spawn): Use spewnvp for DJGPP.
+	(__gnat_portable_no_block_spawn): Use spawnvp for DJGPP.
+	(__gnat_portable_wait): Return 0 for DJGPP.
+2016-10-11  Andris Pavenis  <andris.pavenis@iki.fi>
+	* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP.
+	(EH_MECHANISM): Define to -gcc for DJGPP.
+	* system-djgpp.ads: New file.
+2016-10-11  Andris Pavenis  <andris.pavenis@iki.fi>
+	* ctrl_c.c: Do not use macro SA_RESTART for DJGPP.
+	* gsocket.h: Do not support sockets for DJGPP.
+	* init.c (__gnat_install_handler): Implememt for DJGPP.
+	* sysdep.c: Include <io.h> for DJGPP.
+	(_setmode): Define to setmode for DJGPP.
+	(__gnat_set_mode): Add implementation for DJGPP.
+	(__gnat_localtime_tzoff): Use localtime_r for DJGPP.
+	* terminals.c: Add DJGPP to list of unsupported platforms.
+	* env.c (__gnat_clearenv): Use _gnat_unsetenv on all entries for DJGPP.
+2016-10-11  Pierre-Marie de Rodat  <derodat@adacore.com>
+	* exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types.
+	Emit GNAT encodings for object renamings involving record components
+	whose normalized bit offset is not null.
+	* uintp.h (UI_No_Uint): Declare.
+	* gcc-interface/gigi.h (can_materialize_object_renaming_p): Likewise.
+	* gcc-interface/utils.c (can_materialize_object_renaming_p): New
+	function.
+	* gcc-interface/trans.c (gnat_to_gnu) <N_Object_Renaming_Declaration>:
+	In code generation mode, materialize all renamings as long as they need
+	debug info and we are not optimizing.
+2016-10-11  Pierre-Marie de Rodat  <derodat@adacore.com>
+	* gcc-interface/utils2.c (build_binary_op): Add a NO_FOLD argument.
+	Disable folding when it is true.
+	* gcc-interface/gigi.h (choices_to_gnu): Remove declaration.
+	(build_binary_op): Update signature and comment.
+	* gcc-interface/decl.c (choices_to_gnu): Make static.  Disable
+	folding in calls to build_binary_op.
+2016-10-11  Tristan Gingold  <gingold@adacore.com>
+	* fe.h (Constant_Value): Declare.
+	* gcc-interface/decl.c (compile_time_known_address_p): Also consider
+	references to constants.
+2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (gnat_to_gnu) <N_Op_Add>: Adjust comment.
+	<N_Op_Minus>: Add comment and missing guard.
+	* gcc-interface/trans.c (build_binary_op_trapv): Use an explicit test.
+2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils.c (type_unsigned_for_rm): New predicate.
+	(make_type_from_size): Use it.
+	(unchecked_convert): Likewise.  Do not skip the extension step if the
+	source type is not integral.
+2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
+Tristan Gingold  <gingold@adacore.com>
+	* system-linux-ppc64.ads: Delete.
+	* system-linux-ppc.ads: Make 32-bit/64-bit neutral.
+	* gcc-interface/Makefile.in (PowerPC/Linux): Simplify.
+2016-10-10  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Put volatile qualifier
+	on types at the very end of the processing.
+	(gnat_to_gnu_param): Remove redundant test.
+	(change_qualified_type): Do nothing for unconstrained array types.
+2016-10-10  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils2.c (find_common_type): Do not return the LHS type
+	if it's an array with non-constant lower bound and the RHS type is an
+	array with a constant one.
+2016-10-10  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils.c (convert): For a biased input type, convert the
+	bias itself to the base type before adding it.
+2016-10-08  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils.c (convert) <VECTOR_CST>: Add missing break.
+	Revert
+	2016-09-26  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+	* gcc-interface/decl.c: Fix fall through comment formatting.
+	* gcc-interface/misc.c: Likewise.
+	* gcc-interface/trans.c: Likewise.
+	* gcc-interface/utils.c: Likewise.
+	* gcc-interface/utils2.c: Likewise.
+2016-09-29  James Greenhalgh  <james.greenhalgh@arm.com>
+	* gcc-interface/misc.c (gnat_post_options): Remove special case for
+	TARGET_FLT_EVAL_METHOD_NON_DEFAULT with -fexcess-precision=standard.
+2016-09-27  Jakub Jelinek  <jakub@redhat.com>
+	* terminals.c (is_gui_app): Remove break after return.
+2016-09-26  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+	* gcc-interface/decl.c: Fix fall through comment formatting.
+	* gcc-interface/misc.c: Likewise.
+	* gcc-interface/trans.c: Likewise.
+	* gcc-interface/utils.c: Likewise.
+	* gcc-interface/utils2.c: Likewise.
+2016-09-23  Jakub Jelinek  <jakub@redhat.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Use
+	CONSTRUCTOR_NELTS (...) instead of
+	vec_safe_length (CONSTRUCTOR_ELTS (...)).
+2016-07-14  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Also use
+	the void pointer type if the designated type is incomplete and has no
+	full view in LTO mode.
+	<E_Access_Protected_Subprogram_Type>: Adjust comment.
+	<E_Incomplete_Type>: Likewise.
+	* gcc-interface/trans.c (Call_to_gnu): Do not convert to the type of
+	the actual if it is a dummy type.
+2016-07-11  Bernd Edlinger  <bernd.edlinger@hotmail.de>
+	* gcc-interface/ada-tree.h (TYPE_ALIGN_OK): Define.
+	* gcc-interface/trans.c (Attribute_to_gnu): Adjust call to
+	get_inner_reference.
+	* gcc-interface/utils2.c (build_unary_op): Likewise.
+2016-07-11  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (add_decl_expr): Minor tweak.
+	* gcc-interface/utils.c (create_var_decl): For an external variable,
+	also clear TREE_READONLY in LTO mode if the initializer is not a valid
+	constant and set DECL_READONLY_ONCE_ELAB instead.
+2016-07-11  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/71817
+	* adaint.c (__gnat_is_read_accessible_file): Add parentheses.
+	(__gnat_is_write_accessible_file): Likewise.
+2016-07-07  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Expand_Internal_Init_Call): Subsidiary procedure
+	to Expand_Protected_ Subprogram_Call, to handle properly a
+	call to a protected function that provides the initialization
+	expression for a private component of the same protected type.
+	* sem_ch9.adb (Analyze_Protected_Definition): Layout must be
+	applied to itypes generated for a private operation of a protected
+	type that has a formal of an anonymous access to subprogram,
+	because these itypes have no freeze nodes and are frozen in place.
+	* sem_ch4.adb (Analyze_Selected_Component): If prefix is a
+	protected type and it is not a current instance, do not examine
+	the first private component of the type.
+2016-07-07  Arnaud Charlet  <charlet@adacore.com>
+	* exp_imgv.adb, g-dynhta.adb, s-regexp.adb, s-fatgen.adb, s-poosiz.adb:
+	Minor removal of extra whitespace.
+	* einfo.ads: minor removal of repeated "as" in comment
+2016-07-07  Vadim Godunko  <godunko@adacore.com>
+	* adaint.c: Complete previous change.
+2016-07-07  Vadim Godunko  <godunko@adacore.com>
+	* adainit.h, adainit.c (__gnat_is_read_accessible_file): New
+	subprogram.
+	(__gnat_is_write_accessible_file): New subprogram.
+	* s-os_lib.ads, s-os_lib.adb (Is_Read_Accessible_File): New subprogram.
+	(Is_Write_Accessible_File): New subprogram.
+2016-07-07  Justin Squirek  <squirek@adacore.com>
+	* sem_ch12.adb (Install_Body): Minor refactoring in the order
+	of local functions.
+	(In_Same_Scope): Change loop condition to be more expressive.
+2016-07-07  Gary Dismukes  <dismukes@adacore.com>
+	* sem_ch3.adb, sem_prag.adb, sem_prag.ads, prj-ext.adb, freeze.adb,
+	sem_attr.adb: Minor reformatting, fix typos.
+2016-07-07  Justin Squirek  <squirek@adacore.com>
+	* sem_ch12.adb (In_Same_Scope): Created this function to check
+	a generic package definition against an instantiation for scope
+	dependancies.
+	(Install_Body): Add function In_Same_Scope and
+	amend conditional in charge of delaying the package instance.
+	(Is_In_Main_Unit): Add guard to check if parent is present in
+	assignment of Current_Unit.
+2016-07-07  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove redundant test,
+	adjust comments and formatting.
+	* sem_prag.adb (Inlining_Not_Possible): Do not test Front_End_Inlining
+	here but...
+	(Make_Inline): ...here before calling Inlining_Not_Possible instead.
+	(Set_Inline_Flags): Remove useless test.
+	(Analyze_Pragma) <Pragma_Inline>: Add comment about -gnatn switch.
+2016-07-07  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.ads, sem_prag.adb (Build_Classwide_Expression): Include
+	overridden operation as parameter, in order to map formals of
+	the overridden and overring operation properly prior to rewriting
+	the inherited condition.
+	* freeze.adb (Check_Inherited_Cnonditions): Change call to
+	Build_Class_Wide_Expression accordingly.  In Spark_Mode, add
+	call to analyze the contract of the parent operation, prior to
+	mapping formals between operations.
+2016-07-07  Arnaud Charlet  <charlet@adacore.com>
+	* adabkend.adb (Scan_Back_End_Switches): Ignore -o/-G switches
+	as done in back_end.adb.
+	(Scan_Compiler_Args): Remove special case for CodePeer/SPARK, no longer
+	needed, and prevents proper handling of multi-unit sources.
+2016-07-07  Thomas Quinot  <quinot@adacore.com>
+	* g-sechas.adb, g-sechas.ads (GNAT.Secure_Hashes.H): Add Hash_Stream
+	type with Write primitive calling Update on the underlying context
+	(and dummy Read primitive raising P_E).
+2016-07-07  Thomas Quinot  <quinot@adacore.com>
+	* sem_ch13.adb: Minor reformatting.
+2016-07-07  Thomas Quinot  <quinot@adacore.com>
+	* g-socket.ads: Document performance consideration for stream
+	wrapper.
+2016-07-07  Arnaud Charlet  <charlet@adacore.com>
+	* osint-c.ads (Set_File_Name): Clarify spec.
+2016-07-07  Eric Botcazou  <ebotcazou@adacore.com>
+	* freeze.adb: Reenable code.
+2016-07-07  Yannick Moy  <moy@adacore.com>
+	* sem_ch6.adb (Process_Formals): Set ghost flag
+	on formal entities of ghost subprograms.
+	* ghost.adb (Check_Ghost_Context.Is_OK_Ghost_Context): Accept ghost
+	entities in use type clauses.
+2016-07-06  Javier Miranda  <miranda@adacore.com>
+	* sem_ch6.adb (Check_Inline_Pragma): if the subprogram has no spec
+	then move its aspects to the internally built subprogram spec.
+2016-07-06  Yannick Moy  <moy@adacore.com>
+	* sem_ch6.adb (Analyze_Expression_Function): Mark body of
+	expression function as ghost if needed when created.
+	* sem_prag.adb (Analyze_Pragma.Process_Inline.Set_Inline_Flags):
+	Remove special case.
+2016-07-06  Arnaud Charlet  <charlet@adacore.com>
+	* lib.adb (Check_Same_Extended_Unit): Complete previous change.
+	* sem_intr.adb (Errint): New parameter Relaxed. Refine previous
+	change to only disable errors selectively.
+	* sem_util.adb: minor style fix in object declaration
+2016-07-06  Yannick Moy  <moy@adacore.com>
+	* sem_warn.adb (Check_Infinite_Loop_Warning.Find_Var): Special case a
+	call to a volatile function, so that it does not lead to a warning in
+	that case.
+2016-07-06  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch12.adb, sem_ch4.adb, sem_ch6.adb: Minor reformatting.
+2016-07-06  Hristian Kirtchev  <kirtchev@adacore.com>
+	* gnat1drv.adb: Code clean up. Do not emit any
+	code generation errors when the unit is ignored Ghost.
+2016-07-06  Ed Schonberg  <schonberg@adacore.com>
+	* sem_eval.adb (Check_Non_Static_Context): If the expression
+	is a real literal of a floating point type that is part of a
+	larger expression and is not a static expression, transform it
+	into a machine number now so that the rest of the computation,
+	even if other components are static, is not evaluated with
+	extra precision.
+2016-07-06  Javier Miranda  <miranda@adacore.com>
+	* sem_ch13.adb (Freeze_Entity_Checks): Undo previous patch and move the
+	needed functionality to Analyze_Freeze_Generic_Entity.
+	(Analyze_Freeze_Generic_Entity): If the entity is not already frozen
+	and has delayed aspects then analyze them.
+2016-07-06  Yannick Moy  <moy@adacore.com>
+	* sem_prag.adb (Analyze_Pragma.Process_Inline.Set_Inline_Flags):
+	Special case for unanalyzed body entity of ghost expression function.
+2016-07-06  Javier Miranda  <miranda@adacore.com>
+	* sem_ch7.adb (Analyze_Package_Specification): Insert its
+	freezing nodes after the last declaration. Needed to ensure
+	that global entities referenced in aspects of frozen types are
+	properly handled.
+	* freeze.adb (Freeze_Entity): Minor code reorganization to ensure
+	that freezing nodes of generic packages are handled.
+	* sem_ch13.adb (Freeze_Entity_Checks): Handle N_Freeze_Generic nodes.
+	* sem_ch12.adb (Save_References_In_Identifier): Handle selected
+	components which denote a named number that is constant folded
+	in the analyzed copy of the tree.
+2016-07-06  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_aggr.adb Remove with and use clauses for Exp_Ch11 and Inline.
+	(Initialize_Array_Component): Protect the initialization
+	statements in an abort defer / undefer block when the associated
+	component is controlled.
+	(Initialize_Record_Component): Protect the initialization statements
+	in an abort defer / undefer block when the associated component is
+	controlled.
+	(Process_Transient_Component_Completion): Use Build_Abort_Undefer_Block
+	to create an abort defer / undefer block.
+	* exp_ch3.adb Remove with and use clauses for Exp_ch11 and Inline.
+	(Default_Initialize_Object): Use Build_Abort_Undefer_Block to
+	create an abort defer / undefer block.
+	* exp_ch5.adb (Expand_N_Assignment_Statement): Mark an abort
+	defer / undefer block as such.
+	* exp_ch9.adb (Find_Enclosing_Context): Do not consider an abort
+	defer / undefer block as a suitable context for an activation
+	chain or a master.
+	* exp_util.adb Add with and use clauses for Exp_Ch11.
+	(Build_Abort_Undefer_Block): New routine.
+	* exp_util.ads (Build_Abort_Undefer_Block): New routine.
+	* sinfo.adb (Is_Abort_Block): New routine.
+	(Set_Is_Abort_Block): New routine.
+	* sinfo.ads New attribute Is_Abort_Block along with occurrences
+	in nodes.
+	(Is_Abort_Block): New routine along with pragma Inline.
+	(Set_Is_Abort_Block): New routine along with pragma Inline.
+2016-07-06  Justin Squirek  <squirek@adacore.com>
+	* sem_ch4.adb (Analyze_One_Call): Add a conditional to handle
+	disambiguation.
+2016-07-06  Hristian Kirtchev  <kirtchev@adacore.com>
+	* einfo.adb Flag252 is now used as Is_Finalized_Transient. Flag295
+	is now used as Is_Ignored_Transient.
+	(Is_Finalized_Transient): New routine.
+	(Is_Ignored_Transient): New routine.
+	(Is_Processed_Transient): Removed.
+	(Set_Is_Finalized_Transient): New routine.
+	(Set_Is_Ignored_Transient): New routine.
+	(Set_Is_Processed_Transient): Removed.
+	(Write_Entity_Flags): Output Flag252 and Flag295.
+	* einfo.ads: New attributes Is_Finalized_Transient
+	and Is_Ignored_Transient along with occurrences in
+	entities. Remove attribute Is_Processed_Transient.
+	(Is_Finalized_Transient): New routine along with pragma Inline.
+	(Is_Ignored_Transient): New routine along with pragma Inline.
+	(Is_Processed_Transient): Removed along with pragma Inline.
+	(Set_Is_Finalized_Transient): New routine along with pragma Inline.
+	(Set_Is_Ignored_Transient): New routine along with pragma Inline.
+	(Set_Is_Processed_Transient): Removed along with pragma Inline.
+	* exp_aggr.adb Add with and use clauses for Exp_Ch11 and Inline.
+	(Build_Record_Aggr_Code): Change the handling
+	of controlled record components.
+	(Ctrl_Init_Expression): Removed.
+	(Gen_Assign): Add new formal parameter In_Loop
+	along with comment on usage.  Remove local variables Stmt and
+	Stmt_Expr. Change the handling of controlled array components.
+	(Gen_Loop): Update the call to Gen_Assign.
+	(Gen_While): Update the call to Gen_Assign.
+	(Initialize_Array_Component): New routine.
+	(Initialize_Ctrl_Array_Component): New routine.
+	(Initialize_Ctrl_Record_Component): New routine.
+	(Initialize_Record_Component): New routine.
+	(Process_Transient_Component): New routine.
+	(Process_Transient_Component_Completion): New routine.
+	* exp_ch4.adb (Process_Transient_In_Expression): New routine.
+	(Process_Transient_Object): Removed. Replace all existing calls
+	to this routine with calls to Process_Transient_In_Expression.
+	* exp_ch6.adb (Expand_Ctrl_Function_Call): Remove local constant
+	Is_Elem_Ref. Update the comment on ignoring transients.
+	* exp_ch7.adb (Process_Declarations): Do not process ignored
+	or finalized transient objects.
+	(Process_Transient_In_Scope): New routine.
+	(Process_Transients_In_Scope): New routine.
+	(Process_Transient_Objects): Removed. Replace all existing calls
+	to this routine with calls to Process_Transients_In_Scope.
+	* exp_util.adb (Build_Transient_Object_Statements): New routine.
+	(Is_Finalizable_Transient): Do not consider a transient object
+	which has been finalized.
+	(Requires_Cleanup_Actions): Do not consider ignored or finalized
+	transient objects.
+	* exp_util.ads (Build_Transient_Object_Statements): New routine.
+	* sem_aggr.adb: Major code clean up.
+	* sem_res.adb: Update documentation.
+2016-07-06  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Analyze_Subtype_Declaration): For generated
+	subtypes, such as actual subtypes of unconstrained formals,
+	inherit predicate functions, if any, from the parent type rather
+	than creating redundant new ones.
+2016-07-06  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_attr.adb, sem_attr.adb, sem_ch13.adb: Minor reformatting.
+2016-07-06  Arnaud Charlet  <charlet@adacore.com>
+	* lib.adb (Check_Same_Extended_Unit): Prevent looping forever.
+	* gnatbind.adb: Disable some consistency checks in codepeer mode,
+	which are not needed.
+2016-07-06  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Check_Fixed_Point_Actual): Add a warning when
+	a formal fixed point type is instantiated with a type that has
+	a user-defined arithmetic operations, but the generic has no
+	corresponding formal functions. This is worth a warning because
+	of the special semantics of fixed-point operators.
+2016-07-06  Bob Duff  <duff@adacore.com>
+	* sem_attr.adb (Analyze_Attribute): Allow any expression of
+	discrete type.
+	* exp_attr.adb (Expand_N_Attribute_Reference): Change the
+	constant-folding code to correctly handle cases newly allowed
+	by Analyze_Attribute.
+2016-07-05  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Invoke global_bindings_p
+	last when possible.  Do not call elaborate_expression_2 on offsets in
+	local record types and avoid useless processing for constant offsets.
+2016-07-04  Arnaud Charlet  <charlet@adacore.com>
+	* gnat_rm.texi, gnat_ugn.texi,
+	doc/gnat_ugn/gnat_project_manager.rst,
+	doc/gnat_ugn/building_executable_programs_with_gnat.rst,
+	doc/gnat_ugn/elaboration_order_handling_in_gnat.rst,
+	doc/gnat_ugn/about_this_guide.rst,
+	doc/gnat_ugn/platform_specific_information.rst,
+	doc/gnat_ugn/tools_supporting_project_files.rst,
+	doc/gnat_ugn/gnat_and_program_execution.rst,
+	doc/gnat_ugn/gnat_utility_programs.rst,
+	doc/gnat_ugn/the_gnat_compilation_model.rst,
+	doc/gnat_rm/implementation_defined_attributes.rst,
+	doc/gnat_rm/implementation_defined_pragmas.rst,
+	doc/gnat_rm/representation_clauses_and_pragmas.rst,
+	doc/gnat_rm/standard_and_implementation_defined_restrictions.rst,
+	doc/gnat_ugn.rst: Update documentation.
+2016-07-04  Arnaud Charlet  <charlet@adacore.com>
+	* gcc-interface/Makefile.in: Cleanups.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Analyze_Attribute_Old_Result): The attributes can
+	appear in the postcondition of a subprogram renaming declaration,
+	when the renamed entity is an attribute reference that is a
+	function (such as 'Value).
+	* sem_attr.adb (Eval_Attribute): It doesn't
+	need to be static, just known at compile time, so use
+	Compile_Time_Known_Value instead of Is_Static_Expression.
+	This is an efficiency improvement over the previous bug fix.
+	* sem_ch13.adb (Analyze_One_Aspect): Use Original_Node to detect
+	illegal aspects on subprogram renaming declarations that may
+	have been rewritten as bodies.
+2016-07-04  Arnaud Charlet  <charlet@adacore.com>
+	* sem_intr.adb (Errint): Do not emit error message in
+	Relaxed_RM_Semantics mode.
+2016-07-04  Bob Duff  <duff@adacore.com>
+	* sem_attr.adb (Eval_Attribute): The code was assuming
+	that X'Enum_Rep, where X denotes a constant, can be constant
+	folded. Fix it so it makes that assumption only when X denotes
+	a STATIC constant.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Compatible_Types_In_Predicate): New function
+	to handle cases where a formal of a predicate function and the
+	corresponding actual have different views of the same type.
+2016-07-04  Philippe Gil  <gil@adacore.com>
+	* g-debpoo.adb (Free_Blocks) free blocks also until
+	Logically_Deallocated less than Maximum_Logically_Freed_Memory
+	(Dump) add dump of number of traceback & validity elements
+	already allocated.
+2016-07-04  Justin Squirek  <squirek@adacore.com>
+	* sem_ch12.adb (Instantiate_Package_Body): Add
+	a guard to ignore Itypes which fail when installing primitives.
+2016-07-04  Bob Duff  <duff@adacore.com>
+	* sem_eval.adb (Decompose_Expr): Set 'out' parameters
+	Kind and Cons to valid values, to avoid use of uninit vars.
+	(Extract_Length): Reorder the check to make it clearer that
+	we're depending on BOTH Ent1 and Ent2 to be Present.
+	* sem_aggr.adb (Resolve_Aggregate): Remove dead code.
+	(Check_Misspelled_Component): Remove exit statement, because
+	it's covered by the 'while' condition.
+	* checks.adb (Apply_Selected_Range_Checks): Remove useless
+	condition "or else not Checks_On".
+	(Selected_Range_Checks):
+	Initialize Known_LB and Known_HB to False, because they are
+	tested unconditionally; avoid use of uninit vars.
+	* frontend.adb (Frontend): Removed useless condition
+	"Operating_Mode = Check_Semantics and then", and added an Assert
+	to clarify why it was useless.
+	* prep.adb (Preprocess): Remove redundant condition. Add an
+	assertion.
+	* sem_ch10.adb (Analyze_Proper_Body): Moved redundant condition
+	"Original_Operating_Mode = Generate_Code" to an Assert.
+	(Process_Spec_Clauses, Process_Body_Clauses): Change parameters
+	from 'in out' to 'out', and don't initialize actuals.
+	* sem_ch12.adb (Is_In_Main_Unit): Removed useless condition
+	"Unum = Main_Unit or else".
+	(Save_Global_Descendant): Moved
+	redundant condition "D = Union_Id (No_List)" to an Assert.
+	* sem_ch4.adb (Check_Misspelled_Selector): Remove exit
+	statement, because it's covered by the 'while' condition.
+	(Analyze_Case_Expression): Initialize Wrong_Alt to Empty,
+	because it looks like it is used uninitialized otherwise.
+	* sem_ch6.adb (Check_Return_Subtype_Indication): Moved redundant
+	condition "not R_Type_Is_Anon_Access" to an Assert.
+	* sem_elim.adb (Line_Num_Match): Moved redundant condition
+	"Sloc_Trace (Idx) = '['" to an Assert.
+	* sem_util.adb (Compile_Time_Constraint_Error): Change "J" to
+	"J - 1". This code is trying to replace "?" with "<", but not if
+	the "?" is quoted, as in "'?", so we want to check the PREVIOUS
+	character for '''.
+	* snames.adb-tmpl (Is_Pragma_Name): Remove useless condition
+	"or else N = Name_Relative_Deadline". It's useless because
+	Name_Relative_Deadline is in the range First_Pragma_Name
+	.. Last_Pragma_Name.
+	* treepr.adb (Visit_Node): Moved redundant condition "D =
+	Union_Id (No_List)" to an Assert.
+	* sem_ch3.adb (Derive_Subprogram, Derive_Subprograms): Change
+	parameters from 'in out' to 'out'.
+	* errout.adb (Error_Msg_Internal): Replace redundant test with Assert.
+	* inline.adb (Add_Inlined_Body): Code cleanup.
+2016-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
+	* g-sercom-mingw.adb, sem_ch6.adb: Minor reformatting.
+2016-07-04  Olivier Hainque  <hainque@adacore.com>
+	* g-sercom-mingw.adb (Set): Fix port configuration for the
+	non-blocking + null-timeout case, request of immediate return.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Is_Non_Overriding_Operation): Add guard to test
+	of generic parent type when operation is a parameterless function
+	that may dispatch on result.
+2016-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
+	* freeze.adb, ghost.adb, sem_ch13.adb: Minor reformatting.
+2016-07-04  Pascal Obry  <obry@adacore.com>
+	* g-forstr.ads: More documentation for the Formatted_String
+	support.
+2016-07-04  Justin Squirek  <squirek@adacore.com>
+	* sem_ch7.adb (Install_Parent_Private_Declarations): When
+	instantiating a child unit, do not install private declaration of
+	a non-generic ancestor of the generic that is also an ancestor
+	of the current unit: its private part will be installed when
+	private part of ancestor itself is analyzed.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Instantiate_Object): In SPARK mode add a guard
+	to verify that the actual is an object reference before checking
+	for volatility.
+	(Check_Generic_Child_Unit): Prevent cascaded errors when prefix
+	is illegal.
+2016-07-04  Gary Dismukes  <dismukes@adacore.com>
+	* sem_ch12.ads, freeze.adb: Minor reformatting and typo fixes.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (New_Stream_Subprogram): If the attribute
+	definition clause comes from an aspect specification, place the
+	generated subprogram renaming in the freeze actions of the type.
+2016-07-04  Philippe Gil  <gil@adacore.com>
+	* g-debpoo.adb (Dump.Do_Report) - add space prefix to backtrace
+	address dump - avoid new line sent directly to stdout.
+2016-07-04  Arnaud Charlet  <charlet@adacore.com>
+	* gnat1drv.adb, sem_ch12.adb, sem_elab.adb, sem_prag.adb, sem_res.adb:
+	Relax elaboration checks in SPARK_Mode so that we rely on the
+	static elaboration model (if used). We'll have a more precise
+	check performed in flow analysis of gnat2why.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* ghost.adb (Prune_Node): A freeze node for an ignored ghost
+	entity must be pruned as well.
+2016-07-04  Gary Dismukes  <dismukes@adacore.com>
+	* sem_type.adb, einfo.ads, freeze.adb, exp_ch6.adb: Minor reformatting
+	and typo fix.
+2016-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb, sem_type.adb, sem_ch12.adb, xref_lib.adb,
+	freeze.adb, sinput-l.adb, sinput-l.ads, sem_ch4.adb, sem_ch8.adb:
+	Minor reformatting.
+2016-07-04  Justin Squirek  <squirek@adacore.com>
+	* sem_prag.adb (Analyze_Unmodified_Or_Unused and
+	Analyze_Unreferenced_Or_Unused): Change warning message to be
+	more clear about pragma duplicates.
+2016-07-04  Yannick Moy  <moy@adacore.com>
+	* sinput-l.adb (Create_Instantiation_Source): Set component
+	Inlined_Call for inherited pragma case.
+	* sinput.adb, sinput.ads (Instantiation): Return component
+	Inlined_Call for inherited pragma case.
+2016-07-04  Bob Duff  <duff@adacore.com>
+	* sem_type.adb (Remove_Conversions): Protect
+	the call to Left_Opnd by checking for Nkind in N_Unary_Op --
+	unary operators do not have a left operand.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Analyze_Object_Declaration): A declaration of a
+	constant in a protected operation may be a homonym of a private
+	component of the enclosing protected type. This declaration hides
+	the component renaming constructed within the protected operation.
+2016-07-04  Bob Duff  <duff@adacore.com>
+	* xref_lib.adb (Parse_X_Filename, Parse_Identifier_Info): Ignore
+	unknown files. Check that File_Nr is in the range of files we
+	know about. The previous code was checking the lower bound,
+	but not the upper bound.
+2016-07-04  Arnaud Charlet  <charlet@adacore.com>
+	* tracebak.c: Minor reformatting.
+2016-07-04  Yannick Moy  <moy@adacore.com>
+	* sem_ch12.adb, sem_ch12.ads Update calls to
+	Create_Instantiation_Source to use default argument.
+	(Adjust_Inherited_Pragma_Sloc): New function to adjust sloc
+	of inherited pragma.
+	(Set_Copied_Sloc_For_Inherited_Pragma):
+	New function that wraps call to Create_Instantiation_Source for
+	copying an inherited pragma.
+	(Set_Copied_Sloc_For_Inlined_Body): Update call to
+	Create_Instantiation_Source with new arguments.
+	* sem_prag.adb (Build_Pragma_Check_Equivalent): In the case
+	of inherited pragmas, use the generic machinery to get chained
+	locations for the pragma and its sub-expressions.
+	* sinput-c.adb: Adapt to new type Source_File_Record.
+	* sinput-l.adb, sinput-l.ads (Create_Instantiation_Source):
+	Add parameter Inherited_Pragma and make parameter Inlined_Body
+	optional.
+	* sinput.adb, sinput.ads (Comes_From_Inherited_Pragma): New
+	function to return when a location comes from an inherited pragma.
+	(Inherited_Pragma): New function to detect when a location comes
+	from an inherited pragma.
+	(Source_File_Record): New component Inherited_Pragma.
+2016-07-04  Yannick Moy  <moy@adacore.com>
+	* sem_elab.adb: Register existence of quickfix for error message.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Resolve_One_Call): In the context of a predicate
+	function the formal and the actual in a call may have different
+	views of the same type, because of the delayed analysis of
+	predicates aspects. Extend the patch that handles this potential
+	discrepancy to handle private and full views as well.
+	* sem_ch8.adb (Find_Selected_Component): Refine predicate that
+	produces additional error when an illegal selected component
+	looks like a prefixed call whose first formal is untagged.
+2016-07-04  Justin Squirek  <squirek@adacore.com>
+	* einfo.adb (Has_Pragma_Unused): Create this function as a setter
+	for a new flag294 (Set_Has_Pragma_Unused): Create this procedure
+	as a getter for flag294 (Write_Entity_Flags): Register the new
+	flag with an alias
+	* einfo.ads Add comment documenting Has_Pragma_Unused (flag294)
+	and subsequent getter and setter declarations.
+	* lib-xref.adb (Generate_Reference): Recognize Has_Pragma_Unused
+	flag to print appropriate warning messages.
+	* par-prag.adb (Prag): Classify Pragma_Unused into "All Other
+	Pragmas."
+	* snames.ads-tmpl Add a new name to the name constants and a
+	new pramga to Pragma_Id for pramga Unused.
+	* sem_prag.adb (Analyze_Pragma): Create case for Pragma_Unused
+	and move the block for Pragma_Unmodified and Pragma_Unreferenced
+	out and into local subprograms.
+	(Analyze_Unmodified, Analyze_Unreferenced): From the old pragma blocks
+	that have been separated in to local subprograms add a parameter to
+	indicate the if they are being called in the context of Pragma_Unused
+	and handle it accordingly.
+	(Is_Non_Significant_Pragma_Reference): Add an entry for Pragma_Unused
+	and correct the position of Pragma_Unevaluated_Use_Of_Old.
+	* sem_util.adb (Note_Possible_Modification): Recognize
+	Has_Pragma_Unused flag to print appropriate warning messages.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* freeze.adb (Check_Inherited_Conditions): Perform two passes over
+	the primitive operations of the type: one over source overridings
+	to build the primitives mapping, and one over inherited operations
+	to check for the need to create wrappers, and to check legality
+	of inherited condition in SPARK.
+	* sem_prag.ads (Update_Primitive_Mapping): Make public, for use
+	in freeze actions.
+	* sem_prag.adb (Build_Pragma_Check_Equivalent): Refine error
+	message in the case of an inherited condition in SPARK that
+	includes a call to some other overriding primitive.
+2016-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_aggr.adb (Ctrl_Init_Expression): New routine.
+	(Gen_Assign): Code cleanup. Perform in-place side effect removal when
+	the expression denotes a controlled function call.
+	* exp_util.adb (Remove_Side_Effects): Do not remove side effects
+	on a function call which has this behavior suppressed.
+	* sem_aggr.adb Code cleanup.
+	* sinfo.adb (No_Side_Effect_Removal): New routine.
+	(Set_Side_Effect_Removal): New routine.
+	* sinfo.ads New attribute No_Side_Effect_Removal along with
+	occurences in nodes.
+	(No_Side_Effect_Removal): New routine along with pragma Inline.
+	(Set_Side_Effect_Removal): New routine along with pragma Inline.
+2016-07-04  Arnaud Charlet  <charlet@adacore.com>
+	* opt.ads, sem_prag.adb (Universal_Addressing_On_AAMP): Removed.
+	Remove support for pragma No_Run_Time. Update comments.
+2016-07-04  Pascal Obry  <obry@adacore.com>
+	* g-forstr.ads: More documentation for the Formatted_String
+	support.
+2016-07-04  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
+	'Address): If the address comes from an aspect specification
+	and not a source attribute definition clause, do not remove
+	side effects from the expression, because the expression must
+	be elaborated at the freeze point of the object and not at the
+	object declaration, because of the delayed analysis of aspect
+	specifications.
+2016-06-29  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/48835
+	PR ada/61954
+	* gcc-interface/gigi.h (enum standard_datatypes): Add ADT_realloc_decl
+	(realloc_decl): New macro.
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Use local
+	variable for the entity type and translate it as void pointer if the
+	entity has convention C.
+	(gnat_to_gnu_entity) <E_Function>: If this is not a definition and the
+	external name matches that of malloc_decl or realloc_decl, return the
+	correspoding node directly.
+	(gnat_to_gnu_subprog_type): Likewise for parameter and return types.
+	* gcc-interface/trans.c (gigi): Initialize void_list_node here, not...
+	Initialize realloc_decl.
+	* gcc-interface/utils.c (install_builtin_elementary_types): ...here.
+	(build_void_list_node): Delete.
+	* gcc-interface/utils2.c (known_alignment) <CALL_EXPR>: Return the
+	alignment of the system allocator for malloc_decl and realloc_decl.
+	Do not take alignment from void pointer types either.
+2016-06-29  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/misc.c (LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL): Reorder.
+	(LANG_HOOKS_INIT_TS): Likewise.
+2016-06-22  Arnaud Charlet  <charlet@adacore.com>
+	* sem_prag.adb: Revert unwanted change in previous commit,
+	only keep message fix.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.ads (Build_Classwide_Expression): new procedure to
+	build the expression for an inherited classwide condition, and
+	to validate such expressions when they apply to an inherited
+	operation that is not overridden.
+	* sem_prag.adb (Primitives_Mapping): new data structure to
+	handle the mapping between operations of a root type and the
+	corresponding overriding operations of a type extension. Used
+	to construct the expression for an inherited classwide condition.
+	(Update_Primitives_Mapping): add to Primitives_Mapping the links
+	between primitive operations of a root type and those of a given
+	type extension.
+	(Build_Pragma_Check_Equivalent): use Primitives_Mapping.
+	* sem_ch6.adb (New_Overloaded_Entity): Remove call to
+	Collect_Iherited_Class_Wide_Conditions in GNATprove_Mode. This
+	needs to be done at freeze point of the type.
+	* freeze.adb (Check_Inherited_Conditions): new procedure to
+	verify the legality of inherited classwide conditions. In normal
+	compilation mode the procedure determines whether an inherited
+	operation needs a wrapper to handle an inherited condition that
+	differs from the condition of the root type.  In SPARK mode
+	the routine invokes Collect_Inherited_Class_Wide_Conditions to
+	produce the SPARK version of these inherited conditions.
+	(Freeze_Record_Type): For a type extension, call
+	Check_Inherited_Conditions.
+2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb, sem_type.adb, sem.adb, freeze.adb, sem_util.adb,
+	s-htable.adb, exp_ch11.adb, s-secsta.adb, restrict.adb, exp_disp.adb,
+	sem_ch8.adb, s-tpobop.adb, exp_aggr.ads, sem_ch13.adb: Minor
+	reformatting.
+2016-06-22  Yannick Moy  <moy@adacore.com>
+	* lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Inverse order of
+	treatments so that files without compilation unit are simply skipped
+	before more elaborate treatments.
+2016-06-22  Bob Duff  <duff@adacore.com>
+	* s-memory.ads: Minor typo fixes in comments.
+	* s-memory.adb: Code cleanup.
+2016-05-22  Olivier Hainque  <hainque@adacore.com>
+	* vxworks-crtbe-link.spec: Removed, no longer used.
+2016-06-22  Justin Squirek  <squirek@adacore.com>
+	* sem_ch8.adb (Push_Scope): Add a check for when the
+	scope table is empty to assign the global variable
+	Configuration_Component_Alignment.
+	* sem.adb (Do_Analyze): Add Configuration_Component_Alignment
+	to be assigned when the environment is cleaned instead of the
+	default.
+	* sem.ads Add a global variable Configuration_Component_Alignment
+	to store the value given by pragma Component_Alignment in the
+	context of a configuration file.
+	* sem_prag.adb (Analyze_Pragma): Correct the case for
+	Component_Alignment so that the pragma is verified and add
+	comments to explain how it is applied to the scope stack.
+2016-06-22  Justin Squirek  <squirek@adacore.com>
+	* sprint.adb (Sprint_Node_Actual): Add check in
+	the case of an N_Object_Declaration when evaluating an expression
+	to properly ignore errors.
+2016-06-22  Bob Duff  <duff@adacore.com>
+	* g-comlin.ads (Parameter_Type): Change subtype of Last to
+	Natural.
+	* g-comlin.adb (Set_Parameter): Change subtype of Last to
+	Natural.
+	(Getopt): Check for Arg = "", and Switches /= "".
+	(Internal_Initialize_Option_Scan): Check for Argument (Parser,
+	Index) /= "".
+2016-06-22  Gary Dismukes  <dismukes@adacore.com>
+	* sem_prag.adb, sem_ch8.adb: Minor reformatting.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* einfo.ads, einfo.adb (Is_Actual_Subtype): New flag, defined
+	on subtypes that are created within subprogram bodies to handle
+	unconstrained composite formals.
+	* checks.adb (Apply_Predicate_Check): Do not generate a check on
+	an object whose type is an actual subtype.
+	* sem_ch6.adb (Set_Actual_Subtypes): Do not generate an
+	actual subtype for a formal whose base type is private.
+	Set Is_Actual_Subtype on corresponding entity after analyzing
+	its declaration.
+2016-06-22  Justin Squirek  <squirek@adacore.com>
+	* sem_prag.adb (Check_Expr_Is_OK_Static_Expression): Fix ordering
+	of if-block and add in a condition to test for errors during
+	resolution.
+	* sem_res.adb (Resolution_Failed): Add comment to explain why
+	the type of a node which failed to resolve is set to the desired
+	type instead of Any_Type.
+	* sem_ch8.adb (Analyze_Object_Renaming): Add a check for Any_Type
+	to prevent crashes on Is_Access_Constant.
+2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-xref-spark_specific.adb, checks.adb, sem_ch13.adb: Minor
+	reformatting.
+	* exp_ch7.adb: Minor typo fix.
+	* lib.ads (Get_Top_Level_Code_Unit): Add comment.
+2016-06-22  Bob Duff  <duff@adacore.com>
+	* s-tassta.adb (Task_Wrapper): Fix handling of Fall_Back_Handler
+	wrt independent tasks.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* sem_dim.adb (Analyze_Dimension): Propagate dimension for
+	explicit_dereference nodes when they do not come from source,
+	to handle correctly dimensional analysis on iterators over
+	containers whose elements have declared dimensions.
+2016-06-22  Arnaud Charlet  <charlet@adacore.com>
+	* spark_xrefs.ads (Scope_Num): type refined to positive integers.
+	* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
+	moved into scope of Collect_SPARK_Xrefs.
+	(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
+	now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
+	(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
+	of scopes.
+	(Traverse_Compilation_Unit): refactored as a generic procedure.
+	* types.ads (Unit_Number_Type): range refined.
+2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-xref-spark_specific.adb, a-cuprqu.ads, sem_ch6.adb: Minor
+	reformatting.
+2016-06-22  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_util.ads (Address_Value): Declare new function.
+	* sem_util.adb (Address_Value): New function extracted
+	unmodified from Apply_Address_Clause_Check, which returns the
+	underlying value of the expression of an address clause.
+	* checks.adb (Compile_Time_Bad_Alignment): Delete.
+	(Apply_Address_Clause_Check): Call Address_Value on
+	the expression.  Do not issue the main warning here and
+	issue the secondary warning only when the value of the
+	expression is not known at compile time.
+	* sem_ch13.adb (Address_Clause_Check_Record): Add A component and
+	adjust the description.
+	(Analyze_Attribute_Definition_Clause): In the case
+	of an address, move up the code creating an entry in the table of
+	address clauses.  Also create an entry for an absolute address.
+	(Validate_Address_Clauses): Issue the warning for absolute
+	addresses here too.  Tweak condition associated with overlays
+	for consistency.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Is_Predicate_Static): An inherited predicate
+	can be static only if it applies to a scalar type.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* exp_util.adb (Adjust_Result_Type): Convert operand to base
+	type to prevent spurious constraint checks on subtypes of Boolean.
+2016-06-22  Bob Duff  <duff@adacore.com>
+	* debug.adb: Document debug switch -gnatd.o.
+	* sem_elab.adb (Check_Internal_Call): Debug switch -gnatd.o
+	now causes a more conservative treatment of indirect calls,
+	treating P'Access as a call to P in more cases. We Can't make
+	this the default, because it breaks common idioms, for example
+	the soft links.
+	* sem_util.adb: Add an Assert.
+2016-06-22  Bob Duff  <duff@adacore.com>
+	* a-cuprqu.ads, a-cuprqu.adb: Completely rewrite this package. Use
+	red-black trees, which gives O(lg N) worst-case performance on
+	Enqueue and Dequeue. The previous version had O(N) Enqueue in
+	the worst case.
+2016-06-22  Arnaud Charlet  <charlet@adacore.com>
+	* sem_warn.adb: minor style fix in comment.
+	* spark_xrefs.ads (Scope_Num): type refined to positive integers.
+	* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
+	moved into scope of Collect_SPARK_Xrefs.
+	(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
+	now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
+	(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
+	of scopes.
+	* sem_ch3.adb (Build_Discriminal): Set Parent of the discriminal.
+2016-06-22  Arnaud Charlet  <charlet@adacore.com>
+	* lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not
+	commented local variables replaced with direct uses of their values.
+2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch7.adb (Add_Invariant): Replace the
+	current type instance with the _object parameter even in ASIS mode.
+	(Build_Invariant_Procedure_Body): Do not insert the
+	invariant procedure body into the tree for ASIS and GNATprove.
+	(Build_Invariant_Procedure_Declaration): Do not insert the
+	invariant procedure declaration into the tree for ASIS and
+	GNATprove.
+	* lib-xref-spark_specific.adb (Add_SPARK_Scope): Update comment.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Set_Actual_Subtypes): If the type of the actual
+	has predicates, the actual subtype must be frozen properly
+	because of the generated tests that may follow.  The predicate
+	may be specified by an explicit aspect, or may be inherited in
+	a derivation.
+2016-06-22  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of
+	Expand_N_In: within an expanded range check that might raise
+	Constraint_Error do not generate a predicate check as well. It
+	is redundant because the context will add an explicit predicate
+	check, and it will raise the wrong exception if it fails.
+	* lib-xref-spark_specific.adb (Add_SPARK_File): Remove useless checks
+	since dependency units always have an associated compilation unit.
+2016-06-22  Arnaud Charlet  <charlet@adacore.com>
+	* lib.ads: Code cleanup.
+	* inline.adb: Type refinement for a counter variable.
+	* lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code.
+	Code cleanup.
+2016-06-21  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (set_nonaliased_component_on_array_type): New
+	function.
+	(set_reverse_storage_order_on_array_type): Likewise.
+	(gnat_to_gnu_entity) <E_Array_Type>: Call them to set the flags.
+	<E_Array_Subtype>: Likewise.
+	<E_String_Literal_Subtype>: Likewise.
+	(substitute_in_type) <ARRAY_TYPE>: Likewise.
+	* gcc-interface/utils.c (gnat_pushdecl): Always create a variant for
+	the DECL_ORIGINAL_TYPE of a type.
+2016-06-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* make.adb, gnatbind.adb, g-socket.adb, sem_ch13.adb: Minor
+	reformatting.
+	* lib.ads, sem_util.adb: Minor typo in comment.
+2016-06-20  Yannick Moy  <moy@adacore.com>
+	* sem_prag.adb, sem_prag.ads (Build_Pragma_Check_Equivalent):
+	Add parameter Keep_Pragma_Id to optionally keep
+	the identifier of the pragma instead of converting
+	to pragma Check. Also set type of new function call
+	appropriately.	(Collect_Inherited_Class_Wide_Conditions):
+	Call Build_Pragma_Check_Equivalent with the new parameter
+	Keep_Pragma_Id set to True to keep the identifier of the copied
+	pragma.
+	* sinfo.ads: Add comment.
+2016-06-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch7.adb (Build_Invariant_Procedure_Body):
+	Always install the scope of the invariant procedure
+	in order to produce better error messages. Do not
+	insert the body when the context is a generic unit.
+	(Build_Invariant_Procedure_Declaration): Perform minimal
+	decoration of the invariant procedure and its formal parameter
+	in case they are not analyzed.	Do not insert the declaration
+	when the context is a generic unit.
+2016-06-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Visible_Component): New procedure, subsidiary
+	of Replace_Type_References_ Generic, to determine whether an
+	identifier in a predicate or invariant expression is a visible
+	component of the type to which the predicate or invariant
+	applies. Implements the visibility rule stated in RM 13.1.1
+	(12/3).
+2016-06-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* s-regpat.adb, sem_prag.adb, pprint.adb, sem_ch13.adb: Minor
+	reformatting.
+2016-06-20  Tristan Gingold  <gingold@adacore.com>
+	* make.adb (Check_Standard_Library): Consider system.ads
+	if s-stalib.adb is not available.
+	* gnatbind.adb (Add_Artificial_ALI_File): New procedure extracted from
+	gnatbind.
+2016-06-20  Thomas Quinot  <quinot@adacore.com>
+	* g-socket.adb (Is_IP_Address): A string consisting in digits only is
+	not a dotted quad.
+2016-06-20  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch7.adb (Build_Invariant_Procedure_Body):
+	decorate invariant procedure body with typical properties of
+	procedure entityes.
+2016-06-20  Arnaud Charlet  <charlet@adacore.com>
+	* a-exetim-darwin.adb: New file.
+2016-06-16  Hristian Kirtchev  <kirtchev@adacore.com>
+	* atree.ads, atree.adb (Elist29): New routine.
+	(Set_Elist29): New routine.
+	* atree.h New definition for Elist29.
+	* einfo.adb Subprograms_For_Type is now an Elist rather than
+	a node. Has_Invariants is now a synthesized attribute
+	and does not require a flag. Has_Own_Invariants
+	is now Flag232. Has_Inherited_Invariants is
+	Flag291. Is_Partial_Invariant_Procedure is Flag292.
+	(Default_Init_Cond_Procedure): Reimplemented.
+	(Has_Inherited_Invariants): New routine.
+	(Has_Invariants): Reimplemented.
+	(Has_Own_Invariants): New routine.
+	(Invariant_Procedure): Reimplemented.
+	(Is_Partial_Invariant_Procedure): New routine.
+	(Partial_Invariant_Procedure): Reimplemented.
+	(Predicate_Function): Reimplemented.
+	(Predicate_Function_M): Reimplemented.
+	(Set_Default_Init_Cond_Procedure): Reimplemented.
+	(Set_Has_Inherited_Invariants): New routine.
+	(Set_Has_Invariants): Removed.
+	(Set_Has_Own_Invariants): New routine.
+	(Set_Invariant_Procedure): Reimplemented.
+	(Set_Is_Partial_Invariant_Procedure): New routine.
+	(Set_Partial_Invariant_Procedure): Reimplemented.
+	(Set_Predicate_Function): Reimplemented.
+	(Set_Predicate_Function_M): Reimplemented.
+	(Set_Subprograms_For_Type): Reimplemented.
+	(Subprograms_For_Type): Reimplemented.
+	(Write_Entity_Flags): Output Flag232 and Flag291.
+	* einfo.ads Add new attributes Has_Inherited_Invariants
+	Has_Own_Invariants Is_Partial_Invariant_Procedure
+	Partial_Invariant_Procedure Change the documentation
+	of attributes Has_Inheritable_Invariants Has_Invariants
+	Invariant_Procedure Is_Invariant_Procedure Subprograms_For_Type
+	(Has_Inherited_Invariants): New routine along with pragma Inline.
+	(Has_Own_Invariants): New routine along with pragma Inline.
+	(Is_Partial_Invariant_Procedure): New routine along with pragma Inline.
+	(Partial_Invariant_Procedure): New routine.
+	(Set_Has_Inherited_Invariants): New routine along with pragma Inline.
+	(Set_Has_Invariants): Removed along with pragma Inline.
+	(Set_Has_Own_Invariants): New routine along with pragma Inline.
+	(Set_Is_Partial_Invariant_Procedure): New routine
+	along with pragma Inline.
+	(Set_Partial_Invariant_Procedure): New routine.
+	(Set_Subprograms_For_Type): Update the signature.
+	(Subprograms_For_Type): Update the signature.
+	* exp_ch3.adb Remove with and use clauses for Sem_Ch13.
+	(Build_Array_Invariant_Proc): Removed.
+	(Build_Record_Invariant_Proc): Removed.
+	(Freeze_Type): Build the body of the invariant procedure.
+	(Insert_Component_Invariant_Checks): Removed.
+	* exp_ch7.adb Add with and use clauses for Sem_Ch6, Sem_Ch13,
+	and Stringt.
+	(Build_Invariant_Procedure_Body): New routine.
+	(Build_Invariant_Procedure_Declaration): New routine.
+	* exp_ch7.ads (Build_Invariant_Procedure_Body): New routine.
+	(Build_Invariant_Procedure_Declaration): New routine.
+	* exp_ch9.adb (Build_Corresponding_Record): Do not propagate
+	attributes related to invariants to the corresponding record
+	when building the corresponding record. This is done by
+	Build_Invariant_Procedure_Declaration.
+	* exp_util.adb (Make_Invariant_Call): Reimplemented.
+	* freeze.adb (Freeze_Array_Type): An array type requires an
+	invariant procedure when its component type has invariants.
+	(Freeze_Record_Type): A record type requires an invariant
+	procedure when at least one of its components has an invariant.
+	* sem_ch3.adb (Analyze_Private_Extension_Declaration): Inherit
+	invariant-related attributes.
+	(Analyze_Subtype_Declaration):
+	Inherit invariant-related attributes.
+	(Build_Derived_Record_Type): Inherit invariant-related attributes.
+	(Check_Duplicate_Aspects): Reimplemented.
+	(Get_Partial_View_Aspect): New routine.
+	(Process_Full_View): Inherit invariant-related attributes. Reimplement
+	the check on hidden inheritance of class-wide invariants.
+	(Remove_Default_Init_Cond_Procedure): Reimplemented.
+	* sem_ch6.adb (Analyze_Subprogram_Specification): Do not modify
+	the controlling type for an invariant procedure declaration
+	or body.
+	(Is_Invariant_Procedure_Or_Body): New routine.
+	* sem_ch7.adb (Analyze_Package_Specification): Build the partial
+	invariant body in order to preanalyze and resolve all invariants
+	of a private type at the end of the visible declarations. Build
+	the full invariant body in order to preanalyze and resolve
+	all invariants of a private type's full view at the end of
+	the private declarations.
+	(Preserve_Full_Attributes): Inherit invariant-related attributes.
+	* sem_ch9.adb (Analyze_Protected_Type_Declaration): Ensure that
+	aspects are analyzed with the proper view when the protected type
+	is a completion of a private type. Inherit invariant-related attributes.
+	(Analyze_Task_Type_Declaration): Ensure that
+	aspects are analyzed with the proper view when the task type
+	is a completion of a private type. Inherit invariant-related
+	attributes.
+	* sem_ch13.adb Remove with and use clauses for Stringt.
+	(Build_Invariant_Procedure_Declaration): Removed.
+	(Build_Invariant_Procedure): Removed.
+	(Freeze_Entity_Checks): Do not build the body of the invariant
+	procedure here.
+	The body is built when the type is frozen in Freeze_Type.
+	(Inherit_Aspects_At_Freeze_Point): Do not inherit any attributes
+	related to invariants here because this leads to erroneous
+	inheritance.
+	(Replace_Node): Rename to Replace_Type_Ref.
+	* sem_ch13.ads (Build_Invariant_Procedure_Declaration): Removed.
+	(Build_Invariant_Procedure): Removed.
+	* sem_prag.adb Add with and use clauses for Exp_Ch7.
+	(Analyze_Pragma): Reimplement the analysis of pragma Invariant.
+	* sem_res.adb (Resolve_Actuals): Emit a specialized error when
+	the context is an invariant.
+	* sem_util.adb (Get_Views): New routine.
+	(Incomplete_Or_Partial_View): Consider generic packages when
+	examining declarations.
+	(Inspect_Decls): Consider full type
+	declarations because they may denote a derivation from a
+	private type.
+	(Propagate_Invariant_Attributes): New routine.
+	* sem_util.ads (Get_Views): New routine.
+	(Propagate_Invariant_Attributes): New routine.
+2016-06-16  Arnaud Charlet  <charlet@adacore.com>
+	* pprint.adb (Expression_Image): Add better handling of UCs,
+	we don't want to strip them all for clarity.
+2016-06-20  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+	* exp_util.adb (Safe_Unchecked_Type_Conversion): Use "alignment"
+	instead of "alignement".
+2016-06-16  Gary Dismukes  <dismukes@adacore.com>
+	* sem_util.adb: Minor typo fix.
+2016-06-16  Emmanuel Briot  <briot@adacore.com>
+	* s-regpat.adb: Further fix for invalid index in GNAT.Regexp.
+2016-06-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_ch13.adb (Validate_Address_Clauses): Use the same logic to
+	issue the warning on the offset for the size as for the alignment
+	and tweak the wording for the sake of consistency.
+2016-06-16  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Check_Class_Wide_COndition): New procedure,
+	subsidiary of Analyze_Pre_Post_ Condition_In_Decl_Part, to
+	check legality rules that follow from the revised semantics of
+	class-wide pre/postconditions described in AI12-0113.
+	(Build_Pragma_Check_Equivalent): Abstract subprogram declarations
+	must be included in list of overriding primitives of a derived
+	type.
+2016-06-16  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.adb (May_Be_Lvalue): An actual in an unexpanded
+	attribute reference 'Read is an assignment and must be considered
+	a modification of the object.
+2016-06-16  Gary Dismukes  <dismukes@adacore.com>
+	* einfo.adb: Minor editorial.
+2016-06-16  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Overridden_Ancestor): Clean up code to use
+	controlling type of desired primitive rather than its scope,
+	because the primitive that inherits the classwide condition may
+	comes from several derivation steps.
+2016-06-16  Javier Miranda  <miranda@adacore.com>
+	* einfo.adb (Set_Default_Init_Cond_Procedure): Allow calls setting
+	this attribute to Empty (only if the attribute has not been set).
+	* sem_util.adb (Build_Default_Init_Cond_Procedure_Body):
+	No action needed if the spec was not built.
+	(Build_Default_Init_Cond_Procedure_Declaration): The spec is
+	not built if DIC is set to NULL or no condition was specified.
+	* exp_ch3.adb (Expand_N_Object_Declaration): Check availability
+	of the Init_Cond procedure before generating code to call it.
+2016-06-16  Emmanuel Briot  <briot@adacore.com>
+	* s-regpat.adb: Fix invalid index check when matching end-of-line
+	on substrings.
+2016-06-16  Arnaud Charlet  <charlet@adacore.com>
+	* gnat1drv.adb: Minor reformatting.
+2016-06-16  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Check_Entry_Contracts): New procedure, subsidiary
+	of Analyze_Declarations, that performs pre-analysis of
+	pre/postconditions on entry declarations before full analysis
+	is performed after entries have been converted into procedures.
+	Done solely to capture semantic errors.
+	* sem_attr.adb (Analyze_Attribute, case 'Result): Add guard to
+	call to Denote_Same_Function.
+2016-06-16  Emmanuel Briot  <briot@adacore.com>
+	* g-comlin.adb: Fix minor memory leak in GNAT.Command_Line.
+2016-06-16  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch7.adb (Find_Last_Init): Remove obsolete code. The
+	logic is now performed by Process_Object_Declaration.
+	(Process_Declarations): Recognize a controlled deferred
+	constant which is in fact initialized by means of a
+	build-in-place function call as needing finalization actions.
+	(Process_Object_Declaration): Insert the counter after the
+	build-in-place initialization call for a controlled object. This
+	was previously done in Find_Last_Init.
+	* exp_util.adb (Requires_Cleanup_Actions): Recognize a controlled
+	deferred constant which is in fact initialized by means of a
+	build-in-place function call as needing finalization actions.
+2016-06-16  Justin Squirek  <squirek@adacore.com>
+	* exp_aggr.adb (Expand_Array_Aggregate): Minor comment changes and
+	additional style fixes.
+	* exp_ch7.adb: Minor typo fixes and reformatting.
+2016-06-16  Justin Squirek  <squirek@adacore.com>
+	* sem_ch3.adb (Analyze_Object_Declaration): Add a missing check
+	for optimized aggregate arrays with qualified expressions.
+	* exp_aggr.adb (Expand_Array_Aggregate): Fix block and
+	conditional statement in charge of deciding whether to perform
+	in-place expansion. Specifically, use Parent_Node to jump over
+	the qualified expression to the object declaration node. Also,
+	a check has been inserted to skip the optimization if SPARK 2005
+	is being used in strict adherence to RM 4.3(5).
+2016-06-16  Tristan Gingold  <gingold@adacore.com>
+	* sem_prag.adb (Analyze_Pragma): Simplify code
+	for Pragma_Priority.
+2016-06-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_util.ads (Indexed_Component_Bit_Offset): Declare.
+	* sem_util.adb (Indexed_Component_Bit_Offset): New
+	function returning the offset of an indexed component.
+	(Has_Compatible_Alignment_Internal): Call it.
+	* sem_ch13.adb (Offset_Value): New function returning the offset of an
+	Address attribute reference from the underlying entity.
+	(Validate_Address_Clauses): Call it and take the offset into
+	account for the size warning.
+2016-06-16  Hristian Kirtchev  <kirtchev@adacore.com>
+	* bindgen.adb, exp_util.adb, sem_ch9.adb, sem_util.adb: Minor
+	reformatting.
+2016-06-16  Gary Dismukes  <dismukes@adacore.com>
+	* sem_ch9.adb, sem_util.ads, sem_res.adb: Minor reformatting and typo
+	fixes.
+2016-06-16  Javier Miranda  <miranda@adacore.com>
+	* sem_res.adb (Resolve): Under relaxed RM semantics silently
+	replace occurrences of null by System.Null_Address.
+	* sem_ch4.adb (Analyze_One_Call, Operator_Check): Under
+	relaxed RM semantics silently replace occurrences of null by
+	System.Null_Address.
+	* sem_util.ad[sb] (Null_To_Null_Address_Convert_OK): New subprogram.
+	(Replace_Null_By_Null_Address): New subprogram.
+2016-06-16  Bob Duff  <duff@adacore.com>
+	* exp_util.adb (Is_Controlled_Function_Call):
+	This was missing the case where the call is in prefix format,
+	with named notation, as in Obj.Func (Formal => Actual).
+2016-06-16  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_attr.adb, inline.adb, sem_attr.adb, sem_elab.adb: Minor
+	reformatting.
+2016-06-16  Bob Duff  <duff@adacore.com>
+	* sem_util.adb (Collect): Avoid Empty Full_T. Otherwise Etype
+	(Full_T) crashes when assertions are on.
+	* sem_ch12.adb (Matching_Actual): Correctly handle the case where
+	"others => <>" appears in a generic formal package, other than
+	by itself.
+2016-06-16  Arnaud Charlet  <charlet@adacore.com>
+	* usage.adb: Remove confusing comment in usage line.
+	* bindgen.adb: Fix binder generated file in codepeer mode wrt
+	recent additions.
+2016-06-16  Javier Miranda  <miranda@adacore.com>
+	* restrict.adb (Check_Restriction_No_Use_Of_Entity): Avoid
+	never-ending loop, code cleanup; adding also support for Text_IO.
+	* sem_ch8.adb (Find_Expanded_Name): Invoke
+	Check_Restriction_No_Use_Entity.
+2016-06-16  Tristan Gingold  <gingold@adacore.com>
+	* exp_ch9.adb: Minor comment fix.
+	* einfo.ads (Has_Protected): Clarify comment.
+	* sem_ch9.adb (Analyze_Protected_Type_Declaration): Do not
+	consider private protected types declared in the runtime for
+	the No_Local_Protected_Types restriction.
+2016-06-14  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Set_Actual_Subtypes): Do not generate actual
+	subtypes for unconstrained formals when analyzing the generated
+	body of an expression function, because it may lead to premature
+	and misplaced freezing of the types of formals.
+2016-06-14  Gary Dismukes  <dismukes@adacore.com>
+	* sem_elab.adb, sem_ch4.adb: Minor reformatting and typo fix.
+2016-06-14  Tristan Gingold  <gingold@adacore.com>
+	* einfo.adb (Set_Has_Timing_Event): Add assertion.
+	* sem_util.ads, sem_util.adb (Propagate_Concurrent_Flags): New
+	name for Propagate_Type_Has_Flags.
+	* exp_ch3.adb, sem_ch3.adb, sem_ch7.adb, sem_ch9.adb: Adjust after
+	renaming.
+2016-06-14  Bob Duff  <duff@adacore.com>
+	* sem_elab.adb (Check_A_Call): Do nothing if the callee is
+	(or is in) an instance, and the caller is outside.  Misc cleanup.
+2016-06-14  Javier Miranda  <miranda@adacore.com>
+	* sem_ch4.adb (Analyze_Quantified_Expression):
+	Generating C code avoid spurious warning on loop variable of
+	inlinined postconditions.
+2016-06-14  Javier Miranda  <miranda@adacore.com>
+	* sem_attr.adb (Analyze_Attribute_Old_Result): Adding assertion.
+	(Analyze_Attribute [Attribute_Old]): Generating C handle
+	analysis of 'old in inlined postconditions.
+	(Analyze_Attribute [Attribute_Result]): Generating C handle analysis
+	of 'result in inlined postconditions.
+	* exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Old]):
+	Generating C handle expansion of 'old in inlined postconditions.
+	* inline.adb (Declare_Postconditions_Result): New subprogram.
+	* sem_ch12.adb (Copy_Generic_Node): Copy pragmas generated from
+	aspects when generating C code since pre/post conditions are
+	inlined and the frontend inlining relies on this routine to
+	perform inlining.
+	* exp_ch6.adb (Inlined_Subprogram): Replace Generate_C_Code
+	by Modify_Tree_For_C.
+	* exp_unst.adb (Visit_Node): Searching for up-level references
+	skip entities defined in inlined subprograms.
+2016-06-14  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch7.adb, sem_ch12.adb, freeze.adb, lib-xref.ads, exp_ch3.adb:
+	Minor reformatting.
+2016-06-14  Bob Duff  <duff@adacore.com>
+	* sem_elab.adb: Do nothing if the callee is intrinsic.
+	* sinfo.ads, einfo.ads: Minor comment fixes.
+2016-06-14  Ed Schonberg  <schonberg@adacore.com>
+	* contracts.adb (Has_Null_Body): Move to sem_util, for general
+	availability.
+	* sem_util.ads, sem_util.adb (Has_Null_Body): Predicate to
+	determine when an internal procedure created for some assertion
+	checking (e.g. type invariant) is a null procedure. Used to
+	eliminate redundant calls to such procedures when they apply to
+	components of composite types.
+	* exp_ch3.adb (Build_Component_Invariant_Call): Do not add call
+	if invariant procedure has a null body.
+2016-06-14  Thomas Quinot  <quinot@adacore.com>
+	* g-socket.ads (Check_Selector): Clarify effect on IN OUT socket
+	set parameters.
+2016-06-14  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch4.adb (Process_Action): Pass the action
+	list to Process_Transient_Object.
+	(Process_If_Case_Statements): Pass the action list to
+	Process_Transient_Object.
+	(Process_Transient_Object): Add new parameter Stmts and update the
+	comment on usage. When the context is a Boolean evaluation, insert
+	any finalization calls after the last statement of the construct.
+2016-06-14  Tristan Gingold  <gingold@adacore.com>
+	* einfo.adb, einfo.ads (Has_Timing_Event,
+	Set_Has_Timing_Event): Add Has_Timing_Event flag.
+	(Write_Entity_Flags): Display * sem_util.ads, sem_util.adb:
+	(Propagate_Type_Has_Flags): New procedure to factorize code.
+	* exp_ch3.adb (Expand_Freeze_Array_Type,
+	Expand_Freeze_Record_Type): Call Propagate_Type_Has_Flags.
+	* sem_ch3.adb (Access_Type_Decalaration): Initialize
+	Has_Timing_Event flag.	(Analyze_Object_Declaration):
+	Move code that check No_Local_Timing_Events near
+	the code that check No_Local_Protected_Objects.
+	(Analyze_Private_Extension_Declaration, Array_Type_Declaration)
+	(Build_Derived_Type, Copy_Array_Base_Type_Attributes,
+	Process_Full_View) (Record_Type_Definition): Call
+	Propagate_Type_Has_Flags.
+	* sem_ch4.adb (Analyze_Allocator): Check No_Local_Timing_Events.
+	* sem_ch7.adb (New_Private_Type): Set Has_Timing_Event on the
+	Timing_Event type.
+	(Uninstall_Declaration): Call Propagate_Type_Has_Flags.
+	* sem_ch9.adb (Analyze_Protected_Definition): Call
+	Propagate_Type_Has_Flags.
+2016-06-14  Arnaud Charlet  <charlet@adacore.com>
+	* sem.ads: Minor style fix.
+2016-06-14  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Analyze_Associations): An actual parameter
+	with a box must be included in the count of actuals, to detect
+	possible superfluous named actuals that do not match any of the
+	formals of the generic unit in a formal package declaration.
+2016-06-14  Justin Squirek  <squirek@adacore.com>
+	* sem_ch3.adb (Analyze_Object_Declaration): Fix formatting
+	of error output related to SPARK RM 6.1.7(3) and pragma
+	Extensions_Visible.
+	* sem_ch4.adb (Analyze_Type_Conversion): Fix formatting of error
+	output related to SPARK RM 6.1.7(3) and pragma Extensions_Visible.
+	* sem_prag.adb (Analyze_Pragma): Fix formatting of error output
+	related to SPARK RM 7.1.2(15) and pragma Volatile_Function
+	so that the values True and False are no longer surrounded by
+	double quotes.
+	* sem_res.adb (Resolve_Actuals): Fix formatting of error output
+	related to SPARK RM 6.1.7(3) and pragma Extensions_Visible.
+2016-06-14  Arnaud Charlet  <charlet@adacore.com>
+	* gnat1drv.adb (Adjust_Global_Switches): Enable access checks
+	in codepeer mode.
+	* freeze.adb: Minor grammar fix in comment.
+2016-06-14  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib.adb: Minor reformatting.
+	* sem_util.adb (Is_OK_Volatile_Context): Do
+	include Address in the supported attributes.
+2016-06-14  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch4.adb (Expand_N_Case_Expression):
+	Code cleanup. Finalize any transient controlled
+	objects on exit from a case expression alternative.
+	(Expand_N_If_Expression): Code cleanup.
+	(Process_Actions): Removed.
+	(Process_If_Case_Statements): New routine.
+	(Process_Transient_Object): Change the name of formal Rel_Node to
+	N and update all occurrences. Update the comment on usage. When
+	the type of the context is Boolean, the proper insertion point
+	for the finalization call is after the last declaration.
+2016-06-14  Ed Schonberg  <schonberg@adacore.com>
+	* lib-xref.ads, lib-xref.adb (Has_Deferred_Reference): new
+	predicate to determine whether an entity appears in a context
+	for which a Deferred_Reference was created, because it is not
+	possible to determine when reference is analyzed whether it
+	appears in a context in which the entity is modified.
+	* sem_ch5.adb (Analyze_Statement): Do not emit a useless warning
+	on assignment for an entity that has a deferred_reference.
+2016-06-14  Javier Miranda  <miranda@adacore.com>
+	* sem_res.adb (Resolve_Actuals): Generate a reference to actuals that
+	come from source. Previously the reference was generated only if the
+	call comes from source but the call may be rewritten by the expander
+	thus causing the notification of spurious warnings.
+2016-06-14  Arnaud Charlet  <charlet@adacore.com>
+	* gnat1drv.adb: Remove further references to AAMP.
+	* checks.adb (Apply_Scalar_Range_Check): Take
+	Check_Float_Overflow info account.
+	* live.ads, live.adb Added subprogram headers and
+	start-of-processing-for comments.
+	* sem_ch12.adb (Instantiate_Package_Body): Do not suppress
+	checks when instantiating runtime units in CodePeer mode.
+2016-06-14  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch3.adb (Expand_N_Object_Declaration): Only consider
+	nodes from sources.
+2016-06-14  Arnaud Charlet  <charlet@adacore.com>
+	* switch-c.adb, gnat1drv.adb (Adjust_Global_Switches): Only disable
+	simple value propagation in CodePeer mode when warnings are disabled.
+	(Scan_Front_End_Switches): Enable relevant front-end switches
+	when using -gnateC.
+2016-06-14  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_util.adb (Is_OK_Volatile_Context): A
+	reference to a volatile object is considered OK if appears as
+	the prefix of attributes Address, Alignment, Component_Size,
+	First_Bit, Last_Bit, Position, Size, Storage_Size.
+2016-06-14  Yannick Moy  <moy@adacore.com>
+	* lib-xref-spark_specific.adb (Add_SPARK_File): Do not traverse
+	subunits directly, as they are already traversed as part of the
+	top-level unit to which they belong.
+	(Add_SPARK_Xrefs): Add assertions to ensure correct sorting.
+	(Generate_Dereference): Use unique definition place for special
+	variable __HEAP, to ensure correct sorting of references.
+	* lib-xref.adb (Generate_Reference): Use top-level unit in case
+	of subunits.
+	* lib.adb, lib.ads (Get_Top_Level_Code_Unit): New functions that
+	compute the top-level code unit for a source location of AST node,
+	that go past subunits.
+2016-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_subprog_type): Build only a minimal
+	PARM_DECL when the parameter type is dummy.
+	* gcc-interface/trans.c (Call_to_gnu): Translate formal types before
+	formal objects.
+2016-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Deal with
+	PLUS_EXPR in the expression of a renaming.
+2016-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils2.c (known_alignment) <CALL_EXPR>: Deal specially
+	with calls to malloc.
+2016-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (build_binary_op_trapv): If no operand is a
+	constant, use the generic implementation of the middle-end; otherwise
+	turn the dynamic conditions into static conditions and simplify.
+2016-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (Case_Statement_to_gnu): Deal with characters.
+2016-06-11  Pierre-Marie de Rodat  <derodat@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Do not clobber
+	gnat_entity_name with temporary names for XUP and XUT types.
+2016-06-10  Martin Sebor  <msebor@redhat.com>
+	PR c/71392
+	* gcc/ada/gcc-interface/utils.c (handle_nonnull_attribute): Accept
+	the nonnull attribute in type-generic builtins.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (Gigi_Equivalent_Type): Make sure equivalent
+	types are present before returning them.  Remove final assertion.
+	(gnat_to_gnu_entity) <E_Access_Protected_Subprogram_Type>: Adjust to
+	above change.
+	<E_Protected_Type>: Likewise.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (elaborate_all_entities_for_package): Also do
+	not elaborate Itypes.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils.c (gnat_internal_attribute_table): Add support
+	for noinline and noclone attributes.
+	(handle_noinline_attribute): New handler.
+	(handle_noclone_attribute): Likewise.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (process_type): Beef up comment.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils2.c (build_call_alloc_dealloc): Do not substitute
+	placeholder expressions here but...
+	* gcc-interface/trans.c (gnat_to_gnu) <N_Free_Statement>: ...here.
+	Make an exception to the protection of a CALL_EXPR result with an
+	unconstrained type only in the same cases as Call_to_gnu.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (gnat_to_gnu): Rework special code dealing
+	with boolean rvalues and set the location directly.  Do not set the
+	location in the other cases for a simple name.
+	(gnat_to_gnu_external): Clear the location on the expression.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Component>: Remove
+	useless 'else' statements and tidy up.
+	<E_Array_Subtype>: Fully deal with the declaration here.
+	<E_Incomplete_Type>: Use properly-typed constant.
+	Assert that we don't apply the special type treatment to dummy types.
+	Separate this treatment from the final back-annotation and simplify
+	the condition for the RM size.
+	(gnat_to_gnu_param): Add GNU_PARAM_TYPE parameter and adjust.
+	(gnat_to_gnu_subprog_type): Ajust call to gnat_to_gnu_param.
+	* gcc-interface/trans.c (gnat_to_gnu) <N_Subprogram_Declaration>: Add
+	comment.
+	(process_freeze_entity): Remove obsolete code.
+	(process_type): Minor tweaks.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* einfo.ads (Returns_Limited_View): Remove.
+	(Set_Returns_Limited_View ): Likewise.
+	* einfo.adb (Returns_Limited_View): Likewise.
+	(Set_Returns_Limited_View ): Likewise.
+	* freeze.adb (Late_Freeze_Subprogram): Remove.
+	(Freeze_Entity): Do not defer the freezing of functions returning an
+	incomplete type coming from a limited context.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/gigi.h (finish_subprog_decl): Add ASM_NAME parameter.
+	* gcc-interface/decl.c (gnu_ext_name_for_subprog): New function.
+	(gnat_to_gnu_entity) <E_Subprogram_Type>: Do not check compatibility
+	of profiles for builtins here...  Call gnu_ext_name_for_subprog.
+	Also update profiles if pointers to limited_with'ed types are
+	updated.
+	(gnat_to_gnu_param): Restore the correct source location information
+	for vector ABI warnings.
+	(associate_subprog_with_dummy_type): Add comment about AI05-019.
+	Set TYPE_DUMMY_IN_PROFILE_P flag unconditionally.
+	(update_profile): Deal with builtin declarations.
+	Call gnu_ext_name_for_subprog.  Adjust call to finish_subprog_decl.
+	(update_profiles_with): Add comment.
+	(gnat_to_gnu_subprog_type): Reuse the return type if it is complete.
+	Likewise for parameter declarations in most cases.  Do not change
+	the return type for the CICO mechanism if the profile is incomplete.
+	...but here instead.  Always reset the slot for the parameters.
+	* gcc-interface/utils.c (create_subprog_decl): Call
+	gnu_ext_name_for_subprog.  Do not set the assembler name here but...
+	(finish_subprog_decl): ...but here instead.  Add ASM_NAME parameter.
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Insert the
+	declaration of the corresponding record type before that of the
+	unprotected version of the subprograms that operate on it.
+	(Expand_Access_Protected_Subprogram_Type): Declare the Equivalent_Type
+	just before the original type.
+	* sem_ch3.adb (Handle_Late_Controlled_Primitive): Point the current
+	declaration to the newly created declaration for the primitive.
+	(Analyze_Subtype_Declaration): Remove obsolete code forcing the
+	freezing of the subtype before its declaration.
+	(Replace_Anonymous_Access_To_Protected_Subprogram): Insert the new
+	declaration in the nearest enclosing scope for formal parameters too.
+	(Build_Derived_Access_Type): Restore the status of the created Itype
+	after it is erased by Copy_Node.
+	* sem_ch6.adb (Exchange_Limited_Views): Remove guard on entry.
+	(Analyze_Subprogram_Body_Helper): Call Exchange_Limited_Views only if
+	the specification is present.
+	Move around the code changing the designated view of the return type
+	and save the original view.  Restore it on exit.
+	* sem_ch13.adb (Build_Predicate_Function_Declaration): Always insert
+	the declaration right after that of the type.
+2016-06-01  Simon Wright  <simon@pushface.org>
+	PR ada/71358
+	* g-comlin.adb (Display_Section_Help): Do not dereference
+	Config.Switches if it's null.
+	(Getopt): Likewise.
+2016-05-31  Eric Botcazou  <ebotcazou@adacore.com>
+	* s-osinte-kfreebsd-gnu.ads (clock_getres): Define.
+	(Get_Page_Size): Remove duplicate and return int.
+2016-05-31  Jan Sommer  <soja-lists@aries.uberspace.de>
+	PR ada/71317
+	* s-osinte-rtems.ads (clock_getres): Define.
+	(Get_Page_Size): Remove duplicate and return int.
+2016-05-20  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
+	Make same-sized subtypes of signed base types signed.
+	* gcc-interface/utils.c (make_type_from_size): Adjust to above change.
+	(unchecked_convert): Likewise.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Do not build
+	a specific type for the object if it is deemed a constant.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* freeze.adb (Freeze_Record_Type): Extend pragma Implicit_Packing to
+	components of any elementary types and of composite types.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* freeze.adb (Freeze_Array_Type): Call Addressable predicate instead
+	of testing for individual sizes.
+	(Freeze_Entity): Rework implementation of pragma Implicit_Packing for
+	array types, in particular test for suitable sizes upfront and do not
+	mimic the processing that will be redone later in Freeze_Array_Type.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (elaborate_all_entities_for_package): Also skip
+	formal objects.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* doc/gnat_rm/implementation_defined_attributes.rst
+	(Scalar_Storage_Order): Adjust restriction for packed array types.
+	* einfo.ads (Is_Bit_Packed_Array): Adjust description.
+	(Is_Packed): Likewise.
+	(Is_Packed_Array_Impl_Type): Likewise.
+	(Packed_Array_Impl_Type): Likewise.
+	* exp_ch4.adb (Expand_N_Indexed_Component): Do not do anything special
+	if the prefix is not a packed array implemented specially.
+	* exp_ch6.adb (Expand_Actuals): Expand indexed components only for
+	bit-packed array types.
+	* exp_pakd.adb (Install_PAT): Set Is_Packed_Array_Impl_Type flag on
+	the PAT before analyzing its declaration.
+	(Create_Packed_Array_Impl_Type): Remove redundant statements.
+	* freeze.adb (Check_Component_Storage_Order): Reject packed array
+	components only if they are bit packed.
+	(Freeze_Array_Type): Fix logic detecting bit packing and do not bit
+	pack for composite types whose size is multiple of a byte.
+	Create the implementation type for packed array types only when it is
+	needed, i.e. bit packing or packing because of holes in index types.
+	Make sure the Has_Non_Standard_Rep and Is_Packed flags agree.
+	* gcc-interface/gigi.h (make_packable_type): Add MAX_ALIGN parameter.
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
+	Call maybe_pad_type instead of building the padding type manually.
+	(gnat_to_gnu_entity) <E_Array_Subtype>: Do not assert that
+	Packed_Array_Impl_Type is present for packed arrays.
+	(gnat_to_gnu_component_type): Also handle known alignment for packed
+	types by passing it to make_packable_type.
+	* gcc-interface/utils.c (make_packable_type): Add MAX_ALIGN parameter
+	and deal with it in the array case.  Adjust recursive call.  Simplify
+	computation of new size and cap the alignment to BIGGEST_ALIGNMENT.
+2016-05-16  Thomas Quinot  <quinot@adacore.com>
+	* freeze.adb (Check_Component_Storage_Order): Also get full view of
+	enclosing type.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_util.adb (Remove_Side_Effects): Also make a constant if we need
+	to capture the value for a small not by-reference record type.
+	* freeze.ads (Check_Compile_Time_Size): Adjust comment.
+	* freeze.adb (Set_Small_Size): Likewise.  Accept a size in the range
+	of 33 .. 64 bits.
+	(Check_Compile_Time_Size): Merge scalar and access type cases. Change
+	variable name in array type case.  For the computation of the packed
+	size, deal with record components and remove redundant test.
+	(Freeze_Array_Type): Also adjust packing status when the size of the
+	component type is in the range 33 .. 64 bits.
+	* doc/gnat_rm/representation_clauses_and_pragmas.rst: Turn primitive
+	into elementary type throughout.  Minor tweaks.
+	(Alignment Clauses): Document actual alignment of packed array types.
+	(Pragma Pack for Arrays): List only the 3 main cases and adjust.  Add
+	"simple" to the record case.  Document effect on non packable types.
+	(Pragma Pack for Records): Likewise.  Add record case and adjust.
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/Make-lang.in (GNATMAKE_FOR_HOST): In the canadian
+	cross case, use host_noncanonical instead of host as prefix.
+	(GNATBIND_FOR_HOST): Likewise.
+	(GNATLINK_FOR_HOST): Likewise.
+	(GNATLS_FOR_HOST): Likewise.
+2016-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/70969
+	* system-darwin-ppc64.ads: Add pragma No_Elaboration_Code_All.
+	* system-linux-armeb.ads: Likewise.
+	* system-linux-mips64el.ads: Likewise.
+	* system-linux-mips.ads: Likewise.
+	* system-linux-mipsel.ads: Likewise.
+	* system-linux-ppc64.ads: Likewise.
+	* system-linux-sparcv9.ads: Likewise.
+	* system-rtems.ads: Likewise.
+2016-05-04  Samuel Thibault  <samuel.thibault@ens-lyon.org>
+	* s-osinte-gnu.ads (Get_Page_Size): Return int and use getpagesize
+	instead of __getpagesize.
+2016-05-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+	* gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
+	Honor DESTDIR.
+2016-05-02  Tristan Gingold  <gingold@adacore.com>
+	* fname.adb (Is_Predefined_File_Name): Also consider non-krunched
+	i-* names.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.adb (Aggregate_Constraint_Checks): Separate
+	accessibility checks and non-null checks for aggregate components,
+	to prevent spurious accessibility errors.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (OK_For_Limited_Init): A type conversion is not
+	always legal in the in-place initialization of a limited entity
+	(e.g. an allocator).
+	* sem_res.adb (Resolve_Allocator): Improve error message with RM
+	reference  when allocator expression is illegal.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Expand_Call): When inlining a call to a function
+	declared in a package instance, locate the instance node of the
+	package after the actual package declaration. skipping over
+	pragmas that may have been introduced when the generic unit
+	carries aspects that are transformed into pragmas.
+2016-05-02  Bob Duff  <duff@adacore.com>
+	* s-memory.adb (Alloc, Realloc): Move checks
+	for Size = 0 or size_t'Last into the Result = System.Null_Address
+	path for efficiency. Improve comments (based on actual C language
+	requirements for malloc).
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Optimize the
+	case where we are using the default Global_Pool_Object, and we
+	don't need the heavy finalization machinery.
+2016-05-02  Gary Dismukes  <dismukes@adacore.com>
+	* exp_util.ads, sem_ch12.adb: Minor reformatting.
+2016-05-02  Javier Miranda  <miranda@adacore.com>
+	* exp_util.ads, exp_util.adb (Force_Evaluation): Adding new formal.
+	(Remove_Side_Effects): Adding a new formal.
+	* exp_ch6.adb (Expand_Simple_Function_Return): Generating the
+	call to the _Postconditions procedure ensure that side-effects
+	are unconditionally removed.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Check_Formal_Package_Instance, Check_Mismatch):
+	Use original node to determine whether the declaration is for
+	a formal type declaration, to take into account that formwl
+	private types are rewritten as private extension declarations
+	to simplify semantic analysis.
+2016-05-02  Gary Dismukes  <dismukes@adacore.com>
+	* exp_ch9.adb, sem_ch6.adb, sem_ch6.ads: Minor reformatting and typo
+	fixes.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb, exp_ch9.adb, einfo.adb, sem_ch4.adb, sem_ch6.adb: Minor
+	reformatting.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch4.adb (Expand_N_Allocator): If the designated type
+	is a private derived type with no discriminants, examine its
+	underlying_full_view to determine whether the full view has
+	defaulted discriminants, so their defaults can be used in the
+	call to the initialization procedure for the designated object.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_prag.adb, comperr.adb: Minor reformatting.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* exp_pakd.adb (Rj_Unchecked_Convert_To): Do not perform an
+	unchecked conversion if the source size is 0 (indicating that
+	its RM size is unknown). This will happen with packed arrays of
+	non-discrete types, in which case the component type is known
+	to match.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* debug.adb: Reserve -gnatd.V.
+2016-05-02  Javier Miranda  <miranda@adacore.com>
+	* sem_ch3.adb (Process_Full_View): Remove from visibility
+	wrappers of synchronized types to avoid spurious errors with
+	their wrapped entity.
+	* exp_ch9.adb (Build_Wrapper_Spec): Do not generate the wrapper
+	if no interface primitive is covered by the subprogram and this is
+	not a primitive declared between two views; see Process_Full_View.
+	(Build_Protected_Sub_Specification): Link the dispatching
+	subprogram with its original non-dispatching protected subprogram
+	since their names differ.
+	(Expand_N_Protected_Type_Declaration):
+	If a protected subprogram overrides an interface primitive then
+	do not build a wrapper if it was already built.
+	* einfo.ads, einfo.adb (Original_Protected_Subprogram): New attribute.
+	* sem_ch4.adb (Names_Match): New subprogram.
+	* sem_ch6.adb (Check_Synchronized_Overriding): Moved
+	to library level and defined in the public part of the
+	package to invoke it from Exp_Ch9.Build_Wrapper_Spec
+	(Has_Matching_Entry_Or_Subprogram): New subprogram.
+	(Report_Conflict): New subprogram.
+2016-05-02  Jerome Lambourg  <lambourg@adacore.com>
+	* s-unstyp.ads: Code cleanups.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch13.adb (Size_Too_Small_Error): Fix the error message format.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* exp_prag.adb (Expand_attributes_In_Consequence,
+	Expand_Attributes): If the prefix of'Old is an unconstrained type,
+	for example an unconstrained formal of the enclosing subprogram,
+	create an object declaration with an expression to obtain the
+	actual subtype of the temporary.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* comperr.adb (Delete_SCIL_Files): Add missing handling of
+	N_Subprogram_Declaration.
+2016-05-02  Gary Dismukes  <dismukes@adacore.com>
+	* exp_ch5.adb, exp_ch7.adb, exp_ch7.ads, checks.adb, sem_attr.adb,
+	gnat1drv.adb, sem_ch4.adb, sem_ch13.adb: Minor reformatting and typo
+	fixes.
+	* sem_prag.adb, sem_ch12.adb: Minor typo fixes.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): The
+	function call may be wrapped in an explicit type conversion.
+2016-05-02  Jerome Lambourg  <lambourg@adacore.com>
+	* interfac.ads: use pragma No_Elaboration_Code_All.
+	* s-unstyp.ads: s-unstyp.ads: use pragma No_Elaboration_Code_All.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem.adb (Analyze: If node is an error node previously created
+	by the parser, disable expansion to prevent subsequent glitches
+	in error recovery.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch13.adb (Alignment_Error): Removed.
+	(Get_Alignment_Value): Code cleanup.
+2016-05-02  Tristan Gingold  <gingold@adacore.com>
+	* sem_ch3.adb (Analyze_Object_Declaration): Use Has_Protected
+	to check for the no local protected objects restriction.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* einfo.adb Anonymous_Master now uses Node35.
+	(Anonymous_Master): Update the assertion and node reference.
+	(Set_Anonymous_Master): Update the assertion and node reference.
+	(Write_Field35_Name): Add output for Anonymous_Master.
+	(Write_Field36_Name): The output is now undefined.
+	* einfo.ads Update the node and description of attribute
+	Anonymous_Master. Remove prior occurrences in entities as this
+	is now a type attribute.
+	* exp_ch3.adb (Expand_Freeze_Array_Type): Remove local variable
+	Ins_Node. Anonymous access- to-controlled component types no
+	longer need finalization masters. The master is now built when
+	a related allocator is expanded.
+	(Expand_Freeze_Record_Type): Remove local variable Has_AACC. Do not
+	detect whether the record type has at least one component of anonymous
+	access-to- controlled type. These types no longer need finalization
+	masters. The master is now built when a related allocator is expanded.
+	* exp_ch4.adb Remove with and use clauses for Lib and Sem_Ch8.
+	(Current_Anonymous_Master): Removed.
+	(Expand_N_Allocator): Call Build_Anonymous_Master to create a
+	finalization master for an anonymous access-to-controlled type.
+	* exp_ch6.adb (Add_Finalization_Master_Actual_To_Build_In_Place_Call):
+	Call routine Build_Anonymous_Master to create a finalization master
+	for an anonymous access-to-controlled type.
+	* exp_ch7.adb (Allows_Finalization_Master): New routine.
+	(Build_Anonymous_Master): New routine.
+	(Build_Finalization_Master): Remove formal parameter
+	For_Anonymous. Use Allows_Finalization_Master to determine whether
+	circumstances warrant a finalization master. This routine no
+	longer creates masters for anonymous access-to-controlled types.
+	(In_Deallocation_Instance): Removed.
+	* exp_ch7.ads (Build_Anonymous_Master): New routine.
+	(Build_Finalization_Master): Remove formal parameter For_Anonymous
+	and update the comment on usage.
+	* sem_util.adb (Get_Qualified_Name): New routines.
+	(Output_Name): Reimplemented.
+	(Output_Scope): Removed.
+	* sem_util.ads (Get_Qualified_Name): New routines.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* debug.adb: Document the use of switch -gnatd.H.
+	* gnat1drv.adb (Adjust_Global_Switches): Set ASIS_GNSA mode when
+	-gnatd.H is present.
+	(Gnat1drv): Suppress the call to gigi when ASIS_GNSA mode is active.
+	* opt.ads: Add new option ASIS_GNSA_Mode.
+	* sem_ch13.adb (Alignment_Error): New routine.
+	(Analyze_Attribute_Definition_Clause): Suppress certain errors in
+	ASIS mode for attribute clause Alignment, Machine_Radix, Size, and
+	Stream_Size.
+	(Check_Size): Use routine Size_Too_Small_Error to
+	suppress certain errors in ASIS mode.
+	(Get_Alignment_Value): Use routine Alignment_Error to suppress certain
+	errors in ASIS mode.
+	(Size_Too_Small_Error): New routine.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* spark_xrefs.ads Description of the spark cross-references
+	clarified; small style fixes.
+	* lib-xref-spark_specific.adb (Add_SPARK_Scope,
+	Detect_And_Add_SPARK_Scope): consider protected types and bodies
+	as yet another scopes.
+	(Enclosing_Subprogram_Or_Library_Package): refactored using
+	Hristian's suggestions; added support for scopes of protected
+	types and bodies; fix for entries to return the scope of the
+	enclosing concurrent type, which is consistent with what is
+	returned for protected subprograms.
+	* sem_intr.adb: Minor style fix in comment.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-xref.ads, lib-xref-spark_specific.adb, get_spark_xrefs.adb,
+	put_spark_xrefs.adb: Minor reformatting.
+2016-05-02  Doug Rupp  <rupp@adacore.com>
+	* g-traceb.ads: Document traceback for ARM.
+2016-05-02  Javier Miranda  <miranda@adacore.com>
+	* exp_disp.adb (Make_Tags): Do not generate the
+	external name of interface tags adding the suffix counter since
+	it causes problems at link time when the IP routines are inlined
+	across units with optimization.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* einfo.ads, einfo.adb (Predicates_Ignared): new flag to indicate
+	that predicate checking is disabled for predicated subtypes in
+	the context of an Assertion_Policy pragma.
+	* checks.adb (Apply_Predicate_Check): Do nothing if
+	Predicates_Ignored is true.
+	* exp_ch3.adb (Expand_Freeze_Enumeration_Type): If
+	Predicates_Ignores is true, the function Rep_To_Pos does raise
+	an exception for invalid data.
+	* exp_ch4.adb (Expand_N_Type_Conversion): IF target is a predicated
+	type do not apply check if Predicates_Ignored is true.
+	* exp_ch5.adb (Expand_N_Case_Statement): If Predicates_Ignored
+	is true, sem_prag.adb:
+	* sem_ch3.adb (Analyze_Object_Declaration): If Predicates_Ignored
+	is true do not emit predicate check on initializing expression.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when
+	they are declared; refine type of a counter from Integer to Natural.
+	* sem_ch5.adb, gnatcmd.adb, s-intman-posix.adb, eval_fat.adb,
+	prj.adb, sem_util.adb, s-intman-android.adb, prj-nmsc.adb, sem_ch8.adb,
+	exp_ch3.adb: Minor editing.
+2016-05-02  Yannick Moy  <moy@adacore.com>
+	* a-tigeli.adb (Get_Line): Always set Last prior to returning.
+2016-05-02  Yannick Moy  <moy@adacore.com>
+	* lib-xref.adb: Minor style fix in whitespace of declarations.
+	* put_spark_xrefs.adb (Put_SPARK_Xrefs): printing of strings
+	refactored without loops.
+	* put_spark_xrefs.ads (Write_Info_Str): new formal argument of
+	generic procedure.
+	* spark_xrefs.adb (Write_Info_Str): new actual in instantiation
+	of generic procedure.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
+	(Detect_And_Add_SPARK_Scope): detect and add task type scope.
+	(Enclosing_Subprogram_Or_Package): Respect boundaries of task
+	and entry declarations.
+	* spark_xrefs.ads: minor typo in comment.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* make.adb: Minor: avoid an exception when calling gnatmake with
+	no argument and gnatmake is built with checks on.
+	* lib-xref-spark_specific.adb: Minor code cleanup.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.adb (Normalize_Actuals): Take into account extra
+	actuals that may have been introduced previously. Normally extra
+	actuals are introduced when a call is expanded, but a validity
+	check may copy and reanalyze a call that carries an extra actual
+	(e.g. an accessibility parameter) before the call itself is
+	marked Analzyed, and the analysis of the copy has to be able to
+	cope with the added actual.
+2016-05-02  Bob Duff  <duff@adacore.com>
+	* sem_ch10.adb (Analyze_Compilation_Unit): Preserve
+	treeishness. Previous version had Context_Items shared between
+	the spec and body.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_aggr.adb (Resolve_Aggr_Expression): For both array and
+	record cases, apply predicate check on component for expression
+	only if expression has been analyzed already. For expressions
+	that need to be duplicated when they cover multiple components,
+	resolution and predicate checking take place later.
+2016-05-02  Olivier Hainque  <hainque@adacore.com>
+	* a-direct.adb (Delete_Tree): Use full names to designate subdirs
+	and files therein, instead of local names after a change of
+	current directory.
+2016-05-02  Thomas Quinot  <quinot@adacore.com>
+	* freeze.adb (Check_Component_Storage_Order): Get full view of
+	component type.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* checks.adb, freeze.adb, sem_res.adb, s-stposu.adb, repinfo.adb:
+	Minor reformatting.
+2016-05-02  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch4.adb (Find_Indexing_Operations): Use the underlying type
+	of the container base type in case the container is a subtype.
+	* sem_ch5.adb (Analyze_Iterator_Specification): Ensure that
+	the selector has an entity when checking for a component of a
+	mutable object.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	Remove dead code.
+	* opt.ads (Latest_Ada_Only): New flag.
+	* sem_prag.adb, par-prag.adb: Ignore pragma Ada_xx under this flag.
+	* usage.adb, switch-c.adb: Disable support for -gnatxx under this flag.
+	* einfo.ads (Has_Predicates, Predicate_Function):
+	Clarify that Has_Predicates does not imply that Predicate_Function
+	will return a non-empty entity.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_res.adb (Resolve_Qualified_Expression): Generate a predicate
+	check if type requires it.
+	* checks.adb (Apply_Predicate_Check): Disable checks in the
+	object declaration created for an expression with side-effects
+	that requires a predicate check to prevent infinite recursion
+	during expansion.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Process_Formals): Check properly the type of a
+	formal to determine whether a given convention applies to it.
+2016-05-02  Doug Rupp  <rupp@adacore.com>
+	* tracebak.c: Add incantations for arm-vxworks[67] traceback.
+2016-05-02  Thomas Quinot  <quinot@adacore.com>
+	* freeze.adb (Check_Component_Storage_Order): Make it a warning, not an
+	error, to have a component with implicit SSO within a composite type
+	that has explicit SSO.
+2016-05-02  Bob Duff  <duff@adacore.com>
+	* s-stposu.adb (Allocate_Any_Controlled): Don't lock/unlock twice.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* repinfo.adb (List_Entities): Make procedure recursive, to
+	provide representation information for subprograms declared
+	within subprogram bodies.
+2016-05-02  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch5.adb, layout.adb, gnatcmd.adb exp_attr.adb, make.adb,
+	bindgen.adb, debug.adb, exp_pakd.adb, freeze.adb, sem_util.adb,
+	gnatlink.adb, switch-m.adb, exp_ch4.adb, repinfo.adb, adabkend.adb,
+	osint.adb: Remove dead code.
+2016-05-02  Yannick Moy  <moy@adacore.com>
+	* a-tigeli.adb (Get_Line): Fix bound for test to
+	decide when to compensate for character 0 added by call to fgets.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Analyze_Allocator): If the expression does not
+	have a subtype indication and the type is an unconstrained tagged
+	type with defaulted discriminants, create an explicit constraint
+	for it during analysis to prevent out-of-order freezing actions
+	on generated classwide types.
+2016-05-02  Javier Miranda  <miranda@adacore.com>
+	* exp_ch5.adb (Expand_N_Assignment_Statement):
+	In the runtime check that ensures that the tags of source an
+	target match, add missing displacement of the pointer to the
+	objects if they cover interface types.
+2016-05-02  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Analyze_Attribute, case 'Old): Do not use
+	base type for attribute when type is discrete: transformation
+	is not needed for such types, and leads to spurious errors if
+	the context is a case construct.
+2016-05-02  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (elaborate_reference_1): Do not bother about
+	operand #2 for COMPONENT_REF.
+	* gcc-interface/utils2.c (gnat_save_expr): Likewise.
+	(gnat_protect_expr): Likewise.
+	(gnat_stabilize_reference_1): Likewise.
+	(gnat_rewrite_reference): Do not bother about operand #3 for ARRAY_REF.
+	(get_inner_constant_reference): Likewise.
+	(gnat_invariant_expr): Likewise.
+	* gcc-interface/trans.c (fold_constant_decl_in_expr): Likewise.
+2016-05-02  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (Range_to_gnu): New static function.
+	(Raise_Error_to_gnu) <N_In>: Call it to translate the range.
+	(gnat_to_gnu) <N_In>: Likewise.
+2016-04-30  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/Make-lang.in (ACATSCMD): New variable.
+	(check-acats): Use it.
+	(check_acats_targets): Likewise.
+2016-04-28  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/70786
+	* a-textio.adb (Get_Immediate): Add missing 'not' in expression.
+2016-04-27  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_aux.adb (Is_By_Reference_Type): Also return true for a tagged
+	incomplete type without full view.
+	* sem_ch6.adb (Exchange_Limited_Views): Change into a function and
+	return the list of changes.
+	(Restore_Limited_Views): New procedure to undo the transformation made
+	by Exchange_Limited_Views.
+	(Analyze_Subprogram_Body_Helper): Adjust call to Exchange_Limited_Views
+	and call Restore_Limited_Views at the end, if need be.
+	(Possible_Freeze): Do not delay freezing because of incomplete types.
+	(Process_Formals): Remove kludges for class-wide types.
+	* types.h (By_Copy_Return): Delete.
+	* gcc-interface/ada-tree.h (TYPE_MAX_ALIGN): Move around.
+	(TYPE_DUMMY_IN_PROFILE_P): New macro.
+	* gcc-interface/gigi.h (update_profiles_with): Declare.
+	(finish_subprog_decl): Likewise.
+	(get_minimal_subprog_decl): Delete.
+	(create_subprog_type): Likewise.
+	(create_param_decl): Adjust prototype.
+	(create_subprog_decl): Likewise.
+	* gcc-interface/decl.c (defer_limited_with): Rename into...
+	(defer_limited_with_list): ...this.
+	(gnat_to_gnu_entity): Adjust to above renaming.
+	(finalize_from_limited_with): Likewise.
+	(tree_entity_vec_map): New structure.
+	(gt_pch_nx): New helpers.
+	(dummy_to_subprog_map): New hash table.
+	(gnat_to_gnu_param): Set the SLOC here.  Remove MECH parameter and
+	add FIRST parameter.  Deal with the mechanism here instead of...
+	Do not make read-only variant of types.  Simplify expressions.
+	In the by-ref case, test the mechanism before must_pass_by_ref
+	and also TYPE_IS_BY_REFERENCE_P before building the reference type.
+	(gnat_to_gnu_subprog_type): New static function extracted from...
+	Do not special-case the type_annotate_only mode.  Call
+	gnat_to_gnu_profile_type instead of gnat_to_gnu_type on return type.
+	Deal with dummy return types.  Likewise for parameter types.  Deal
+	with by-reference types explicitly and add a kludge for null procedures
+	with untagged incomplete types.  Remove assertion on the types and be
+	prepared for multiple elaboration of the declarations.  Skip the whole
+	CICO processing if the profile is incomplete.  Handle the completion of
+	a previously incomplete profile.
+	(gnat_to_gnu_entity) <E_Variable>: Rename local variable.
+	Adjust couple of calls to create_param_decl.
+	<E_Access_Subprogram_Type, E_Anonymous_Access_Subprogram_Type>:
+	Remove specific deferring code.
+	<E_Access_Type>: Also deal with E_Subprogram_Type designated type.
+	Simplify handling of dummy types and remove obsolete comment.
+	Constify a couple of variables.  Do not set TYPE_UNIVERSAL_ALIASING_P
+	on dummy types.
+	<E_Access_Subtype>: Tweak comment and simplify condition.
+	<E_Subprogram_Type>: ...here.  Call it and clean up handling.  Remove
+	obsolete comment and adjust call to gnat_to_gnu_param.  Adjust call to
+	create_subprog_decl.
+	<E_Incomplete_Type>: Add a couple of 'const' qualifiers and get rid of
+	inner break statements.  Tidy up condition guarding direct use of the
+	full view.
+	(get_minimal_subprog_decl): Delete.
+	(finalize_from_limited_with): Call update_profiles_with on dummy types
+	with TYPE_DUMMY_IN_PROFILE_P set.
+	(is_from_limited_with_of_main): Delete.
+	(associate_subprog_with_dummy_type): New function.
+	(update_profile): Likewise.
+	(update_profiles_with): Likewise.
+	(gnat_to_gnu_profile_type): Likewise.
+	(init_gnat_decl): Initialize dummy_to_subprog_map.
+	(destroy_gnat_decl): Destroy dummy_to_subprog_map.
+	* gcc-interface/misc.c (gnat_get_alias_set): Add guard for accessing
+	TYPE_UNIVERSAL_ALIASING_P.
+	(gnat_get_array_descr_info): Minor tweak.
+	* gcc-interface/trans.c (gigi): Adjust calls to create_subprog_decl.
+	(build_raise_check): Likewise.
+	(Compilation_Unit_to_gnu): Likewise.
+	(Identifier_to_gnu): Accept mismatches coming from a limited context.
+	(Attribute_to_gnu): Remove kludge for dispatch table entities.
+	(process_freeze_entity): Do not retrieve old definition if there is an
+	address clause on the entity.  Call update_profiles_with on dummy types
+	with TYPE_DUMMY_IN_PROFILE_P set.
+	* gcc-interface/utils.c (build_dummy_unc_pointer_types): Also set
+	TYPE_REFERENCE_TO to the fat pointer type.
+	(create_subprog_type): Delete.
+	(create_param_decl): Remove READONLY parameter.
+	(finish_subprog_decl): New function extracted from...
+	(create_subprog_decl): ...here.  Call it.  Remove CONST_FLAG and
+	VOLATILE_FLAG parameters and adjust.
+	(update_pointer_to): Also clear TYPE_REFERENCE_TO in the unconstrained
+	case.
+2016-04-27  Arnaud Charlet  <charlet@adacore.com>
+	* aa_util.adb, aa_util.ads: Removed, no longer used.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Analyze_Pragma): An object
+	renaming declaration resulting from the expansion of an object
+	declaration is a suitable context for pragma Ghost.
+2016-04-27  Doug Rupp  <rupp@adacore.com>
+	* init.c: Refine last checkin so the only requirement is the
+	signaling compilation unit is compiled with the same mode as
+	the compilation unit containing the initial landing pad.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Valid_Default_Iterator): Better filter of illegal
+	specifications for Default_Iterator, including overloaded cases
+	where no interpretations are legal, and return types that are
+	not iterator types.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch5.adb (Expand_N_Assignment_Statement): Do not install
+	an accessibility check when the left hand side of the assignment
+	denotes a container cursor.
+	* exp_util.ads, exp_util.adb (Find_Primitive_Operations): Removed.
+	* sem_ch4.adb (Find_Indexing_Operations): New routine.
+	(Try_Container_Indexing): Code cleanup.
+2016-04-27  Arnaud Charlet  <charlet@adacore.com>
+	* sem_ch10.adb, sem_case.adb: Mark messages udner -gnatwr when needed.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* errout.adb, errutil.adb: Minor reformatting.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Analyze_Aspect_Specifications, case Pre/Post):
+	Check that the classwide version is illegal when the prefix is
+	an operation of an untagged synchronized type.
+2016-04-27  Arnaud Charlet  <charleT@adacore.com>
+	* sinput-l.ads, sem_ch13.adb: Minor editing.
+2016-04-27  Doug Rupp  <rupp@adacore.com>
+	* init.c (__gnat_adjust_context_for_raise) [arm-linux thumb]:
+	Bump the pc so the lower order bit is set.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_case.adb, sem_case.ads (NO_Op): If appropriate warning is
+	enabled, report an empty range in a case construct.
+2016-04-27  Arnaud Charlet  <charlet@adacore.com>
+	* sinput.ads, a-cfdlli.adb, a-crbtgo.adb, a-chtgop.adb, a-cbhama.adb,
+	a-rbtgbo.adb, a-crdlli.adb, a-chtgbo.adb: Minor editing.
+2016-04-27  Bob Duff  <duff@adacore.com>
+	* a-chtgop.adb (Adjust): Zero the tampering counts on assignment,
+	as is done for the other containers.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* ghost.adb (In_Subprogram_Body_Profile): New routine.
+	(Is_OK_Declaration): Treat an unanalyzed expression
+	function as an OK context.  Treat a reference to a Ghost entity
+	as OK when it appears within the profile of a subprogram body.
+2016-04-27  Bob Duff  <duff@adacore.com>
+	* errout.ads: Document the fact that informational messages
+	don't have to be warnings.
+	* errout.adb (Error_Msg_Internal): In statistics counts, deal
+	correctly with informational messages that are not warnings.
+	(Error_Msg_NEL): Remove useless 'if' aroung Set_Posted, because
+	Set_Posted already checks for errors and ignores others.
+	* erroutc.adb (Prescan_Message): Set Is_Serious_Error to False
+	if Is_Info_Msg; the previous code was assuming that Is_Info_Msg
+	implies Is_Warning_Msg.
+	* errutil.adb (Error_Msg): In statistics counts, deal correctly
+	with informational messages that are not warnings.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.ads, sem_util.adb (Is_Null_Record_Type): New predicate
+	to determine whether a record type is a null record.
+	* sem_ch3.adb (Analyze_Object_Declaration): If the type is a
+	null record and there is no expression in the declaration,
+	no predicate check applies to the object.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch7.adb (Analyze_Package_Body_Helper): The body of an
+	instantiated package should not cause freezing of previous contracts.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_dim.adb (Analyze_Dimension): Handle subtype declarations
+	that do not come from source.
+	(Analyze_Dimension_Subtype_Declaration): Allow confirming
+	dimensions on subtype entity, either inherited from base type
+	or provided by aspect specification.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* s-gearop.ads (Matrix_Vector_Solution, Matrix_Matrix_Solution):
+	Add scalar formal object Zero, to allow detection and report
+	when the matrix is singular.
+	* s-gearop.adb (Matrix_Vector_Solution, Matrix_Matrix_Solution):
+	Raise Constraint_Error if the Forward_Eliminate pass has
+	determined that determinant is Zero.o
+	* s-ngrear.adb (Solve): Add actual for Zero in corresponding
+	instantiations.
+	* s-ngcoar.adb (Solve): Ditto.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb: Minor reformatting.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_dim.adb (Analyze_Dimension, case N_Identifier): Check
+	that identifier has a usable type before analysis, to handle
+	properly identifiers introduced after some lexical/syntactic
+	recovery that created new identifiers.
+2016-04-27  Bob Duff  <duff@adacore.com>
+	* a-coinve.adb, a-comutr.adb, a-conhel.adb, a-convec.adb,
+	exp_util.adb: Remove assertions that can fail in obscure cases when
+	assertions are turned on but tampering checks are turned off.
+2016-04-27  Javier Miranda  <miranda@adacore.com>
+	* exp_ch6.adb (Add_Call_By_Copy_Code,
+	Add_Simple_Call_By_Copy_Code, Expand_Actuals): Handle formals
+	whose type comes from the limited view.
+2016-04-27  Yannick Moy  <moy@adacore.com>
+	* a-textio.adb: Complete previous patch.
+2016-04-27  Yannick Moy  <moy@adacore.com>
+	* inline.adb (Expand_Inlined_Call): Use Cannot_Inline instead of
+	Error_Msg_N to issue message about impossibility to inline call,
+	with slight change of message.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_spark.adb (Expand_Potential_Renaming): Removed.
+	(Expand_SPARK): Update the call to expand a potential renaming.
+	(Expand_SPARK_Potential_Renaming): New routine.
+	* exp_spark.ads (Expand_SPARK_Potential_Renaming): New routine.
+	* sem.adb Add with and use clauses for Exp_SPARK.
+	(Analyze): Expand a non-overloaded potential renaming for SPARK.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Constrain_Discriminated_Type): In an instance,
+	check full view for the presence of defaulted discriminants,
+	even when the partial view of a private type has no visible and
+	no unknown discriminants.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-xref.adb, exp_ch3.adb: Minor reformatting.
+2016-04-27  Nicolas Roche  <roche@adacore.com>
+	* rtinit.c: Add weak symbol __gnat_do_argv_expansion.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Process_Atomic_Independent_Shared_Volatile): Code
+	cleanup. Check the original node when trying to determine the node kind
+	of pragma Volatile's argument to account for untagged derivations
+	where the type is transformed into a constrained subtype.
+2016-04-27  Olivier Hainque  <hainque@adacore.com>
+	* mkdir.c (__gnat_mkdir): Rework the vxworks section to use a
+	consistent posix interface on the caller side.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch10.adb (Build_Limited_View, Decorate_Type): If this
+	is a limited view of a type, initialize the Limited_Dependents
+	field to catch misuses of the type in a client unit.
+2016-04-27  Thomas Quinot  <quinot@adacore.com>
+	* a-strunb-shared.adb (Finalize): add missing Reference call.
+	* s-strhas.adb: minor grammar fix and extension of comment
+	* sem_ch8.adb: minor whitespace fixes
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* lib-xref.adb (Get_Type_Reference): Handle properly the case
+	of an object declaration whose type definition is a class-wide
+	subtype and whose expression is a function call that returns a
+	classwide type.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_util.ads, sem_util.adb (Output_Entity): New routine.
+	(Output_Name): New routine.
+2016-04-27  Bob Duff  <duff@adacore.com>
+	* exp_ch3.adb (Rewrite_As_Renaming): Disable previous change for now.
+2016-04-27  Vincent Celier  <celier@adacore.com>
+	* gnatcmd.adb: For "gnat ls -V -P", recognize switch
+	--unchecked-shared-lib-imports and set the flag
+	Opt.Unchecked_Shared_Lib_Imports accordingly.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Analyze_Pre_Post_Condition_In_Decl_Part):
+	A generic subprogram is never a primitive operation, and thus
+	a classwide condition for it is not legal.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_aggr.adb, sem_dim.adb, sem_dim.ads, einfo.adb: Minor
+	reformatting.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_res.adb (Flag_Effectively_Volatile_Objects): New routine.
+	(Resolve_Actuals): Flag effectively volatile objects with enabled
+	property Async_Writers or Effective_Reads as illegal.
+	* sem_util.adb (Is_OK_Volatile_Context): Comment reformatting.
+2016-04-27  Javier Miranda  <miranda@adacore.com>
+	* exp_ch3.adb (Make_Predefined_Primitive_Specs):
+	Do not generate the profile of the equality operator if it has
+	been explicitly defined as abstract in the parent type. Required
+	to avoid reporting an spurious error.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* sem_dim.ads, sem_dim.adb (Check_Expression_Dimensions): New
+	procedure to compute the dimension vector of a scalar expression
+	and compare it with the dimensions if its expected subtype. Used
+	for the ultimate components of a multidimensional aggregate,
+	whose components typically are themselves aggregates that are
+	expanded separately. Previous to this patch, dimensionality
+	checking on such aggregates generated spurious errors.
+	* sem_aggr.adb (Resolve_Array_Aggregate): Use
+	Check_Expression_Dimensions when needed.
+2016-04-27  Javier Miranda  <miranda@adacore.com>
+	* einfo.ads, einfo.adb (Corresponding_Function): New attribute
+	(applicable to E_Procedure).
+	(Corresponding_Procedure): New attribute (applicable to E_Function).
+	* exp_util.adb (Build_Procedure_Form): Link the function with
+	its internally built proc and viceversa.
+	* sem_ch6.adb (Build_Subprogram_Declaration): Propagate the
+	attribute Rewritten_For_C and Corresponding_Procedure to the body.
+	* exp_ch6.adb (Rewritten_For_C_Func_Id): Removed.
+	(Rewritten_For_C_Proc_Id): Removed.
+	* exp_unst.adb (Note_Uplevel_Ref): Use the new attribute to
+	locate the corresponding procedure.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch13.adb (Analyze_Aspect_Export_Import): Signal that there is no
+	corresponding pragma.
+2016-04-27  Bob Duff  <duff@adacore.com>
+	* exp_ch3.adb: Minor comment improvement.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): If the
+	return type is an untagged limited record with only access
+	discriminants and no controlled components, the return value does not
+	need to use the secondary stack.
+2016-04-27  Javier Miranda  <miranda@adacore.com>
+	* exp_util.adb (Remove_Side_Effects): When
+	generating C code handle object declarations that have
+	discriminants and are initialized by means of a call to a
+	function.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* a-textio.adb (Get_Line function): Handle properly the case of
+	a line that has the same length as the buffer (or a multiple
+	thereof) and there is no line terminator.
+	* a-tigeli.adb (Get_Line procedure): Do not store an end_of_file
+	in the string when there is no previous line terminator and we
+	need at most one additional character.
+2016-04-27  Arnaud Charlet  <charlet@adacore.com>
+	* s-rident.ads: Make No_Implicit_Loops non partition wide.
+2016-04-27  Arnaud Charlet  <charlet@adacore.com>
+	* sem_ch11.adb (Analyze_Handled_Statements): check useless
+	assignments also in entries and task bodies, not only in
+	procedures and declaration blocks.
+	* sem_ch5.adb (Analyze_Block_Statement): check useless
+	assignements in declaration blocks as part of processing their
+	handled statement sequence, just like it was done for procedures
+	and now is also done for entries and task bodies.
+	* sem_warn.adb (Warn_On_Useless_Assignment): detect boundries
+	of entries and task bodies just like of procedures.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_util.adb (Is_Volatile_Function): Recognize
+	a function declared within a protected type as well as the
+	protected/unprotected version of a function.
+2016-04-27  Bob Duff  <duff@adacore.com>
+	* exp_ch3.adb (Expand_N_Object_Declaration): Rewrite an object
+	declaration of the form "X : T := Func (...);", where T is
+	controlled, as a renaming.
+	* a-strunb-shared.adb (Finalize): Set the Unbounded_String Object
+	to be an empty string, instead of null-ing out the Reference.
+	* exp_util.adb (Needs_Finalization): Remove redundant code.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* aspects.ads Aspects Export and Import do not require delay. They
+	were classified as delayed aspects, but treated as non-delayed
+	by the analysis of aspects.
+	* freeze.adb (Copy_Import_Pragma): New routine.
+	(Wrap_Imported_Subprogram): Copy the import pragma by first
+	resetting all semantic fields to avoid an infinite loop when
+	performing the copy.
+	* sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Add
+	comment on the processing of aspects Export and Import
+	at the freeze point.
+	(Analyze_Aspect_Convention: New routine.
+	(Analyze_Aspect_Export_Import): New routine.
+	(Analyze_Aspect_External_Link_Name): New routine.
+	(Analyze_Aspect_External_Or_Link_Name): Removed.
+	(Analyze_Aspect_Specifications): Factor out the analysis of
+	aspects Convention, Export, External_Name, Import, and Link_Name
+	in their respective routines.  Aspects Export and Import should
+	not generate a Boolean pragma because their corresponding pragmas
+	have a very different syntax.
+	(Build_Export_Import_Pragma): New routine.
+	(Get_Interfacing_Aspects): New routine.
+2016-04-27  Eric Botcazou  <ebotcazou@adacore.com>
+	* inline.adb (Add_Inlined_Body): Overhaul implementation,
+	robustify handling of -gnatn1, add special treatment for
+	expression functions.
+2016-04-27  Doug Rupp  <rupp@adacore.com>
+	* g-traceb.ads: Update comment.
+	* exp_ch2.adb: minor style fix in object declaration
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_elab.adb (Check_Internal_Call): Do not
+	consider a call when it appears within pragma Initial_Condition
+	since the pragma is part of the elaboration statements of a
+	package body and may only call external subprograms or subprograms
+	whose body is already available.
+	(Within_Initial_Condition): New routine.
+2016-04-27  Ed Schonberg  <schonberg@adacore.com>
+	* exp_util.adb (Build_Procedure_Form): Prevent double generation
+	of the procedure form when dealing with an expression function
+	whose return type is an array.
+	* sem_ch3.adb: Fix out-of order Has_Predicates setting.
+	* exp_ch6.adb: Proper conversion for inherited operation in C.
+	* sem_ch6.adb: Code cleanup.
+2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-xref.ads, sem_ch10.adb: minor style fix in comment
+	* g-socket.adb: Minor reformatting.
+	* sinfo.ads: Minor comment correction.
+	* sem_warn.ads: minor grammar fix in comment
+2016-04-27  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/gigi.h (gnat_to_gnu_entity): Adjust prototype.
+	(maybe_pad_type): Adjust comment.
+	(finish_record_type): Likewise.
+	(rest_of_record_type_compilation): Likewise.
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Change DEFINITION type
+	parameter from integer to boolean.  Adjust recursive calls.
+	<E_Subprogram_Type>: Use copy_type and remove redundant assignments.
+	<E_Signed_Integer_Subtype>:  Adjust comment.  Remove call to
+	rest_of_record_type_compilation.  Set TYPE_PADDING_P flag earlier.
+	Pass false to finish_record_type.  Set the debug type later.
+	<E_Record_Subtype>: Remove call to rest_of_record_type_compilation.
+	(gnat_to_gnu_component_type): Fix formatting.
+	(gnat_to_gnu_field_decl): Adjust call to gnat_to_gnu_entity.
+	(gnat_to_gnu_type): Likewise.
+	* gcc-interface/trans.c (Identifier_to_gnu): Likewise.
+	(Loop_Statement_to_gnu): Likewise.
+	(Subprogram_Body_to_gnu): Likewise.
+	(Exception_Handler_to_gnu_fe_sjlj): Likewise.
+	(Exception_Handler_to_gnu_gcc): Likewise.
+	(Compilation_Unit_to_gnu): Likewise.
+	(gnat_to_gnu): Likewise.
+	(push_exception_label_stack): Likewise.
+	(elaborate_all_entities_for_package): Likewise.
+	(process_freeze_entity): Likewise.
+	(process_decls): Likewise.
+	(process_type): Likewise.
+	* gcc-interface/utils.c (struct deferred_decl_context_node): Tweak.
+	(maybe_pad_type): Adjust comments.  Set the debug type later.  Remove
+	call to rest_of_record_type_compilation.
+	(rest_of_record_type_compilation): Use copy_type.
+	(copy_type): Use correctly typed constants.
+	(gnat_signed_or_unsigned_type_for): Use copy_type.
+	* gcc-interface/utils2.c (nonbinary_modular_operation): Likewise.
+	(build_goto_raise): Adjust call tognat_to_gnu_entity.
+2016-04-27  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/misc.c (gnat_init): Do not call
+	internal_reference_types.
+2016-04-27  Svante Signell  <svante.signell@gmail.com>
+	* gcc-interface/Makefile.in (x86 GNU/Hurd): Use s-osinte-gnu.adb.
+	* s-osinte-gnu.ads: Small tweaks.
+	* s-osinte-gnu.adb: New file.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Match_Constituent): Treat a constant as a legal
+	constituent even if it is not to prevent spurious errors.
+2016-04-21  Gary Dismukes  <dismukes@adacore.com>
+	* sem_ch4.adb: Minor typo fixes and reformatting.
+2016-04-21  Dmitriy Anisimkov  <anisimko@adacore.com>
+	* g-calend.ads (No_Time): The same value in any timezone.
+	* g-socket.adb (Raise_Host_Error): Remove ending
+	dot from original error message before append colon delimited
+	host name.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb: Code cleanup.
+	* sem_ch6.adb: Code cleanup.
+	(Is_Matching_Limited_View): New routine.
+	(Matches_Limited_With_View): Reimplemented.
+	* sem_ch10.adb (Decorate_Type): Code cleanup.
+2016-04-21  Doug Rupp  <rupp@adacore.com>
+	* tracebak.c (PPC ELF): Add macro defs for lynxos178e.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Try_Container_Indexing): If there are overloaded
+	indexing functions, collect all overloadings of the call firts,
+	and then transfer them to indexing node, to prevent interleaving
+	of the set of interpretations of the nodes involved.
+	* sem_res.adb (Resolve): Suppress cascaded errors that report
+	ambiguities when one of the actuals in an overloaded generatlized
+	indexing operation is illegal and has type Any_Type, as is done
+	for similar cascaded errors in subprogram calls.
+	(Valid_Tagged_Conversion): Cleanup conversion checks when one
+	of the types involved is a class-wide subtype.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch12.adb (Load_Parent_Of_Generic): When looking for the
+	subprogram declaration within a wrapper package, skip pragmas
+	that may have been generated by aspect specifications on the
+	generic instance.
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* exp_aggr.adb (Component_Not_OK_For_Backend): Generating C
+	code return True for array identifiers since the backend needs
+	to initialize such component by means of memcpy().
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* a-tasatt.adb, a-tasatt.ads (Fast_Path): Rewritten to avoid reading
+	potentially uninitialized memory.
+	* sem_ch3.adb: Minor style fix in comment.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* gnat_rm.texi, gnat_ugn.texi,
+	doc/gnat_ugn/gnat_project_manager.rst,
+	doc/gnat_ugn/building_executable_programs_with_gnat.rst,
+	doc/gnat_ugn/gnat_and_program_execution.rst,
+	doc/gnat_ugn/gnat_utility_programs.rst,
+	doc/gnat_ugn/the_gnat_compilation_model.rst,
+	doc/gnat_rm/implementation_defined_attributes.rst,
+	doc/gnat_rm/standard_and_implementation_defined_restrictions.rst,
+	doc/gnat_rm/implementation_defined_pragmas.rst,
+	doc/gnat_rm/the_gnat_library.rst,
+	doc/gnat_rm/implementation_defined_aspects.rst: Update doc.
+	* doc/Makefile: Cleanups.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_pakd.adb, sem_ch13.adb: Minor reformatting.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* exp_dbug.adb, exp_dbug.ads (Qualify_Entity_Name): Add suffixes to
+	disambiguate local variables that may be hidden from inner visibility
+	by nested block declarations or loop variables.
+2016-04-21  Jerome Lambourg  <lambourg@adacore.com>
+	* s-soflin.adb: Initialize the Stack_Limit global variable.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-writ.adb: Minor reformatting.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* exp_pakd.adb (Compute_Number_Components): New function to
+	build an expression that computes the number of a components of
+	an array that may be multidimensional.
+	(Expan_Packed_Eq): Use it.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* g-traceb.ads: Update list of supported platforms.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Add_Predicates): if the type is declared in
+	an inner package it may be frozen outside of the package, and
+	the generated pragma has not been analyzed yet, the expression
+	for the predicate must be captured and added to the predicate
+	function at this point.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* contracts.adb (Analyze_Package_Body_Contract): Do not check
+	for a missing package refinement because 1) packages do not have
+	"refinement" and 2) the check for proper state refinement is
+	performed in a different place.
+	* einfo.adb (Has_Non_Null_Visible_Refinement): Reimplemented.
+	(Has_Null_Visible_Refinement): Reimplemented.
+	* sem_ch3.adb (Analyze_Declarations): Determine whether all
+	abstract states have received a refinement and if not, emit
+	errors.
+	* sem_ch7.adb (Analyze_Package_Declaration): Code
+	cleanup. Determine whether all abstract states of the
+	package and any nested packages have received a refinement
+	and if not, emit errors.
+	(Requires_Completion_In_Body): Add new formal parameter
+	Do_Abstract_States. Update the comment on usage. Propagate the
+	Do_Abstract_States flag to all Unit_Requires_Body calls.
+	(Unit_Requires_Body): Remove formal
+	parameter Ignore_Abstract_States. Add new formal paramter
+	Do_Abstract_States. Propagate the Do_Abstract_States flag to
+	all Requires_Completion_In calls.
+	* sem_ch7.ads (Unit_Requires_Body): Remove formal
+	parameter Ignore_Abstract_States. Add new formal paramter
+	Do_Abstract_States. Update the comment on usage.
+	* sem_ch9.adb (Analyze_Single_Protected_Declaration): Do
+	not initialize the constituent list as this is now done on a
+	need-to-add-element basis.
+	(Analyze_Single_Task_Declaration):
+	Do not initialize the constituent list as this is now done on
+	a need-to-add-element basis.
+	* sem_ch10.adb (Decorate_State): Do not initialize the constituent
+	lists as this is now done on a need-to-add-element basis.
+	* sem_prag.adb (Analyze_Constituent): Set the
+	refinement constituents when adding a new element.
+	(Analyze_Part_Of_In_Decl_Part): Set the Part_Of constituents when
+	adding a new element.
+	(Analyze_Part_Of_Option): Set the Part_Of
+	constituents when adding a new element.
+	(Analyze_Pragma): Set the Part_Of constituents when adding a new
+	element.
+	(Check_Constituent_Usage (all versions)): Reimplemented.
+	(Collect_Constituent): Set the refinement constituents when adding
+	a new element.
+	(Create_Abstract_State): Do not initialize the
+	constituent lists as this is now done on a need-to-add-element basis.
+	(Propagate_Part_Of): Set the Part_Of constituents when
+	adding a new element.
+	* sem_util.adb (Check_State_Refinements): New routine.
+	(Has_Non_Null_Refinement): Reimplemented.
+	(Has_Null_Refinement): Reimplemented.
+	(Requires_State_Refinement): Removed.
+	* sem_util.ads (Check_State_Refinements): New routine.
+	(Requires_State_Refinement): Removed.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-writ.adb, sem_ch6.adb: Minor reformatting and code cleanup.
+	* sem.adb: Fix comment.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Analyze_Subtype_Declaration): A subtype
+	declaration with no aspects, whose subtype_mark is a subtype
+	with predicates, inherits the list of subprograms for the type.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* exp_aggr.adb (Has_Per_Object_Constraint): Refine previous
+	change.
+2016-04-21  Thomas Quinot  <quinot@adacore.com>
+	* g-socket.adb (Raise_Host_Error): Include additional Name parameter.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* lib-writ.adb (Write_ALI): Do not record in ali file units
+	that are present in the files table but not analyzed. These
+	units are present because they appear in the context of units
+	named in limited_with clauses, and the unit being compiled does
+	not depend semantically on them.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Simplify code to
+	create the procedure body for an function returning an array type,
+	when generating C code. Reuse the subprogram body rather than
+	creating a new one, both as an efficiency measure and because
+	in an instance the body may contain global references that must
+	be preserved.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb, exp_attr.adb, exp_ch6.adb, exp_aggr.adb: Minor
+	reformatting.
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* exp_aggr.adb (Component_Check): Extend
+	the check that verifies that the aggregate has no function
+	calls to handle transformations performed by the frontend.
+	(Ultimate_Original_Expression): New subprogram.
+2016-04-21  Philippe Gil  <gil@adacore.com>
+	* krunch.adb (Krunch): Fix krunching of i-java.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch8.adb (Evaluation_Required): Always return
+	True when Modify_Tree_For_C.
+2016-04-21  Eric Botcazou  <ebotcazou@adacore.com>
+	* gnatlink.adb (Gnatlink): Robustify detection of Windows target.
+	* alloc.ads: Minor comment fixes.
+	* einfo.ads: Fix typo.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* exp_aggr.adb (Component_Not_OK_For_Backend): Redo previous
+	changes to handle all cases of components depending on the
+	discriminant, not just string literals.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Analyze_Subtype_Declaration): If the subtype
+	declaration is the generated declaration for a generic actual,
+	inherit predicates from the actual if it is a predicated subtype.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Rewrite_Function_Call_For_C): If the function is
+	inherited and its result is controlling,  introduce a conversion
+	on the actual for the corresponding procedure call, to avoid
+	spurious type errors.
+2016-04-21  Jerome Lambourg  <lambourg@adacore.com>
+	* krunch.adb (Krunch): Fix krunching of i-vxworks.
+2016-04-21  Gary Dismukes  <dismukes@adacore.com>
+	* exp_aggr.adb: Minor reformatting and code cleanup.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Resolve_Name): Omit quantified expressions from
+	resolution, because they introduce local names. Full resolution
+	will take place when predicate function is constructed.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* exp_aggr.adb (Component_Not_OK_For_Backend): Refine previous
+	change to take into account Per_Object_Constraint field rather
+	than special casing strings.
+	* exp_ch6.adb: Fix typo in Replace_Returns.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch5.adb: Minor reformatting.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* exp_aggr.adb (Backend_Processing_Possible): Return False
+	when generating C and aggregate contains function calls.
+2016-04-21  Tristan Gingold  <gingold@adacore.com>
+	* krunch.adb (Krunch): Only partially krunch children of
+	Interfaces that aren't known.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Make_Inline): Handle properly the instantiation
+	of a generic subpprogram that carries an Inline aspect. Place
+	inline info on the anonymous subprogram that is constructed in
+	the wrapper package.
+	(Analyze_Pragma, case Pure): Do not check placement if pragma
+	appears within an instantiation, which can be nested at any level.
+	* sem_ch12.adb (Analyze_Instance_And_Renamings): Do not copy Freeze
+	node from anonymous subprogram to its visible renaming. The
+	freeze node will be constructed if the subprogram carries
+	delayed aspects.
+	(Set_Global): Preserve dimension information if present (from
+	code reading).
+2016-04-21  Vasiliy Fofanov  <fofanov@adacore.com>
+	* gnatlink.adb: Change wording of the warning message on
+	problematic filenames to be more neutral. Add a new substring
+	"patch" introduced on Windows 10.
+2016-04-21  Philippe Gil  <gil@adacore.com>
+	* tracebak.c (__gnat_backtrace): handle bad RIP values (win64 only)
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* exp_aggr.adb (Component_Not_OK_For_Backend): Return true for string
+	literals.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* einfo.adb (Has_Non_Null_Abstract_State): New routine.
+	* einfo.ads New synthesized attribute
+	Has_Non_Null_Abstract_State along with occurrences in entities.
+	(Has_Non_Null_Abstract_State): New routine.
+	* sem_ch7.adb (Unit_Requires_Body): Add local variable
+	Requires_Body. A package declaring an abstract state requires
+	a body only when the state is non-null and the package contains
+	at least one other construct that requires completion in a body.
+	* sem_util.adb (Mode_Is_Off): Removed.
+	(Requires_State_Refinement): Remove an obsolete check. Code
+	cleanup.
+2016-04-21  Bob Duff  <duff@adacore.com>
+	* sem_attr.adb (Analyze_Attribute): In processing
+	the 'Old attribute, a warning is given for infinite recursion. Fix
+	the code to not crash when the prefix of 'Old denotes a protected
+	function.
+	* sem_ch5.adb (Analyze_Iterator_Specification):
+	Avoid calling Is_Dependent_Component_Of_Mutable_Object in cases
+	where the parameter would not be an object.
+2016-04-21  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_eval.adb (Compile_Time_Compare): Be prepared for an empty
+	Etype or Underlying_Type of the operands.
+2016-04-21  Eric Botcazou  <ebotcazou@adacore.com>
+	* atree.adb (Print_Statistics): Protect against overflows and
+	print the memory consumption in bytes.
+	* table.adb (Reallocate): Do the intermediate calculation of the new
+	size using the Memory.size_t type.
+2016-04-21  Gary Dismukes  <dismukes@adacore.com>
+	* exp_attr.adb (Is_Inline_Floating_Point_Attribute): Suppress
+	expansion of Attribute_Machine and Attribute_Model for AAMP.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* freeze.adb: Disable previous change for now.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch8.adb (Find_Selected_Component): If prefix has an
+	access type and designated type is a limited view, introduce
+	an explicit dereference before continuing the analysis, and
+	set its type to the non-limited view of the designated type,
+	if we are in context where it is available.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* freeze.adb: Freeze profile in ASIS mode.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_aux.ads, sem_aux.adb (Has_Rep_Item): New variant.
+	* sem_util.adb (Inherit_Rep_Item_Chain): Reimplemented.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch6.adb: Minor reformatting.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb: Minor comment update.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* freeze.ads, freeze.adb (Freeze_Entity, Freeze_Before): Add
+	boolean parameter to determine whether freezing an overloadable
+	entity freezes its profile as well. This is required by
+	AI05-019. The call to Freeze_Profile within Freeze_Entity is
+	conditioned by the value of this flag, whose default is True.
+	* sem_attr.adb (Resolve_Attribute, case 'Access): The attribute
+	reference freezes the prefix, but it the prefix is a subprogram
+	it does not freeze its profile.
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* exp_util.adb (Build_Procedure_Form): No action needed for
+	subprogram renamings since the backend can generate the call
+	using the renamed subprogram. This leaves the tree more clean
+	to the backend.
+	* exp_ch6.adb (Expand_Call): Extend previous patch for
+	rewritten-for-c entities to handle subprogram renamings.
+	(Rewrite_Function_Call_For_C): Handle subprogram renamings.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb: Code cleanup.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is
+	created for SPARK_To_C, the entity must remain invisible so it
+	does not overload subsequent references to the original function.
+	* exp_ch6.adb (Build_Procedure_Body_Form, Replace_Returns):
+	Handle Extended_Return_Statements by replacing it with a block
+	with assignments and a simple return statement.
+	* exp_util.adb (Build_Procedure_Form): Make procedure entity
+	invisible after analyzing declaration, to prevent improper
+	overloading.
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* sem_ch6.adb (Build_Subprogram_Declaration): Propagate the
+	attribute Rewritten_For_C to the body since since the expander
+	may generate calls using that entity.
+	* exp_ch6.adb (Expand_Call): For internally generated
+	calls ensure that they reference the entity of the spec
+	of the called function.
+	(Rewritten_For_C_Func_Id): New subprogram.
+	(Rewritten_For_C_Proc_Id): New subprogram.
+	(Rewrite_Function_Call_For_C): Invoke the new subprogram to
+	ensure that we skip freezing entities.
+	* exp_util.adb (Build_Procedure_Form): No action needed if the
+	procedure was already built.
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb, exp_util.adb, sem_ch13.adb, exp_unst.adb: Minor
+	reformatting.
+2016-04-21  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.adb (Denotes_Iterator): Use root type to determine
+	whether the ultimate ancestor is the predefined iterator
+	interface pakage.
+	* exp_ch5.adb (Expand_Iterator_Over_Container): simplify code
+	and avoid reuse of Pack local variable.
+2016-04-21  Olivier Hainque  <hainque@adacore.com>
+	* system-vxworks-arm.ads, system-vxworks-sparcv9.ads,
+	system-vxworks-ppc.ads, system-vxworks-m68k.ads,
+	system-vxworks-mips.ads, system-vxworks-x86.ads: Define
+	Executable_Extension to ".out".
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* frontend.adb: Update call to Unnest_Subprograms.
+	* exp_ch6.ads, exp_ch6.adb, exp_unst.ads, exp_unst.adb
+	(Unnest_Subprograms): Moved to package exp_unst.
+	* exp_unst.ads (Unnest_Subprogram): Moved to the body of the
+	package.
+	* exp_dbug.adb (Qualify_Entity_Name): Enable qualification of
+	enumeration literals when generating C code.
+2016-04-21  Javier Miranda  <miranda@adacore.com>
+	* frontend.adb: Remove call to initialize Exp_Ch6.
+	* exp_ch6.ads, exp_ch6.adb (Initialize): removed.
+	(Unest_Entry/Unest_Bodies): Removed.
+	(Unnest_Subprograms): Code cleanup.
+2016-04-21  Arnaud Charlet  <charlet@adacore.com>
+	* set_targ.adb (Read_Target_Dependent_Values):
+	close target description file once its contents is read.
+	* s-os_lib.adb (Non_Blocking_Spawn, version with Stdout_File
+	and Stderr_File): Close local file descriptors before spawning
+	child process.
+	* exp_util.adb (Containing_Package_With_Ext_Axioms): Limit scope of
+	local variables to make the code easier to understand and avoid
+	duplicated calls to Parent and Generic_Parent.
+2016-04-20  Bob Duff  <duff@adacore.com>
+	* s-os_lib.ads: Minor comment fix.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch5.adb (Expand_N_Assignment_Statement): Do no generate
+	a discriminant check for a type whose partial view has unknown
+	discriminants when the full view has discriminants with defaults.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* exp_util.adb (Remove_Side_Effects): When generating C code
+	remove side effect of type conversion of access to unconstrained
+	array type.
+	(Side_Effect_Free): Return false for the type
+	conversion of access to unconstrained array type when generating
+	C code.
+	* sem_res.adb (Resolved_Type_Conversion): Remove side effects
+	of access to unconstrained array type conversion when generating
+	C code.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Build_Predicate_Function_Declaration): New
+	function, to construct the declaration of a predicate function
+	at the end of the current declarative part rather than at the
+	(possibly later) freeze point of the type. This also allows uses
+	of a type with predicates in instantiations elsewhere.
+	(Resolve_Aspect_Expression): New procedure to detect visiblity
+	errors in aspect expressions, at the end of the declarative part
+	that includes the type declaration.
+	* sem_ch3.adb (Complete_Private_Subtype): Propagate properly the
+	predicate function from private to full view.
+	* einfo.adb (Predicate_Function): Refine search for predicate
+	function when type has a full view and predicate function may
+	be defined on either view.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* frontend.adb: Passing the root of the tree to
+	Unnest_Subprograms().
+	* exp_ch6.adb (Expand_N_Subprogram_Body): Remove code that
+	took care of adding subprograms to the Unest_Bodies table since
+	performing such action too early disables the ability to process
+	generic instantiations.
+	(Unnest_Subprograms): Adding parameter.
+	(Search_Unnesting_Subprograms): New subprogram.
+	* exp_ch6.ads (Unnest_Subrograms): Update documentation.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_util.adb, freeze.adb, sem_util.adb: Minor reformatting.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* exp_unst.adb (Check_Static_Type): For a private type, check
+	full view.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Check_Type): Reject an attribute reference in
+	an aspect expression, when the prefix of the reference is the
+	current instance of the type to which the aspect applies.
+2016-04-20  Bob Duff  <duff@adacore.com>
+	* sem_ch6.adb (Enter_Overloaded_Entity): Do not warn about
+	hiding unless we're actually hiding something. The previous
+	code would (for example) warn about a "<" on a record type
+	because it incorrectly thought it was hiding the "<" on Boolean
+	in Standard. We need to check that the homonym S is in fact a
+	homograph of a predefined operator.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* exp_util.ads, exp_util.adb (Build_Procedure_Form): Moved here
+	from exp_ch6.adb, for use in SPARK_To_C mode when creating the
+	procedure equivalent to a function returning an array, when this
+	construction is deferred to the freeze point of the function.
+	* sem_util.adb (Is_Unchecked_Conversion_Instance): Include a
+	function that renames an instance of Unchecked_Conversion.
+	* freeze.adb (Freeze_Subprogram): Generate the proper procedure
+	declaration for a function returning an array.
+	* exp_ch6.adb (Build_Procedure_Form): Moved to exp_util.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.ads, sem_util.adb (Is_Expanded_Priority_Attribute):
+	New predicate to determine that in a context with full run-time,
+	a function call is an expansion of a reference to attribute
+	Priority.
+	* sem_ch5.adb (Analyze_Function_Call): use it.
+	* exp_ch5.adb (Expand_N_Subprogram_Call): use it.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* einfo.adb Flag286 is now used as Is_Exception_Handler.
+	(Is_Exception_Handler): New routine.
+	(Set_Is_Exception_Handler): New routine.
+	(Write_Entity_Flags): Output the status of Is_Exception_Handler.
+	* einfo.ads New attribute Is_Exception_Handler along with
+	occurrences in entities.
+	(Is_Exception_Handler): New routine along with pragma Inline.
+	(Set_Is_Exception_Handler): New routine along with pragma Inline.
+	* exp_ch7.adb (Make_Transient_Block): Ignore blocks generated
+	for exception handlers with a choice parameter.
+	* sem_ch11.adb (Analyze_Exception_Handlers): Mark the scope
+	generated for a choice parameter as an exception handler.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch3.adb (Build_Derived_Access_Type): Remove dead code.
+	(Constrain_Discriminated_Type): In an instance, if the type has
+	unknown discriminants, use its full view.
+	(Process_Subtype): Check that the base type is private before
+	adding subtype to Private_Dependents list.
+2016-04-20  Bob Duff  <duff@adacore.com>
+	* sem_ch13.adb: Minor comment fix.
+2016-04-20  Yannick Moy  <moy@adacore.com>
+	* sem_ch4.adb: Fix typos in comments.
+	* sem_res.adb (Resolve_Case_Expression): Fix type of case alternatives.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Analyze_Selected_Component): A reference to the
+	current instance of a task type is legal if the prefix is an
+	expression of that task type and the selector is an entry or
+	entry family.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* a-cfdlli.ads (List): Type is no longer tagged, not needed. Move
+	varsize field at the end for efficiency.
+2016-04-20  Vincent Celier  <celier@adacore.com>
+	* gnatcmd.adb: Do not invoke gprls when the invocation of "gnat
+	ls" includes the switch -V.
+	* clean.adb: "<target>-gnatclean -P" now calls "gprclean
+	--target=<target>"
+	* make.adb: "<target>-gnatmake -P" now calls "gprbuild
+	--target=<target>"
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch12.adb (Qualify_Type): Do not perform
+	partial qualification when the immediate scope is a generic unit.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_unst.adb: Minor reformatting.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_ch4.adb (Expand_Allocator_Expression): Ensure that the
+	tag assignment and adjustment preceed the accessibility check.
+	* exp_ch7.adb (Is_Subprogram_Call): Reimplemented.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* exp_prag.adb (Expand_Attributes): Ensure that
+	the temporary used to capture the value of attribute 'Old's
+	prefix is properly initialized.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* exp_unst.ads, exp_unst.adb (Get_Level, Subp_Index): Moved to library
+	level.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* sem_ch9.adb (Analyze_Task_Type_Declaration): Shut down warning
+	in codepeer mode.
+2016-04-20  Vincent Celier  <celier@adacore.com>
+	* make.adb: Code cleanup.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch4.adb (Expand_Allocator_Expression): Help C code
+	generation.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch12.adb (Copy_Generic_Node): Handle the special
+	qualification installed for universal literals that act as
+	operands in binary or unary operators.	(Qualify_Operand): Mark
+	the qualification to signal the instantiation mechanism how to
+	handle global reference propagation.
+	* sinfo.adb (Is_Qualified_Universal_Literal): New routine.
+	(Set_Is_Qualified_Universal_Literal): New routine.
+	* sinfo.ads New attribute Is_Qualified_Universal_Literal along
+	with occurrences in nodes.
+	(Is_Qualified_Universal_Literal):
+	New routine along with pragma Inline.
+	(Set_Is_Qualified_Universal_Literal): New routine along with
+	pragma Inline.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem.adb (Do_Analyze): Save and restore Style_Max_Line_Length
+	so that the corresponding checks are preserved across compilations
+	that include System.Constants in their context.
+2016-04-20  Gary Dismukes  <dismukes@adacore.com>
+	* sem_type.adb: Minor typo fix and reformatting.
+	* a-conhel.ads: Update comment.
+2016-04-20  Bob Duff  <duff@adacore.com>
+	* a-cihama.adb, a-cihase.adb, a-coinve.adb (Copy): Rewrite the
+	code so it doesn't trigger an "uninit var" warning.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_attr.ads Add new table Universal_Type_Attribute.
+	* sem_util.adb (Yields_Universal_Type): Use a table lookup when
+	checking attributes.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* exp_aggr.adb (Init_Stored_Discriminants,
+	Init_Visible_Discriminants): New procedures, subsidiary of
+	Build_Record_Aggr_Code, to handle properly the construction
+	of aggregates for a derived type that constrains some parent
+	discriminants and renames others.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch12.adb (Qualify_Universal_Operands): New routine.
+	(Save_References_In_Operator): Add explicit qualifications in
+	the generic template for all operands of universal type.
+	* sem_type.adb (Disambiguate): Update the call to Matches.
+	(Matches): Reimplemented.
+	* sem_util.ads, sem_util.adb (Yields_Universal_Type): New routine.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Rep_Item_Too_Late): Better error message for
+	an illegal aspect that freezes the entity to which it applies.
+2016-04-20  Bob Duff  <duff@adacore.com>
+	* a-stwibo.ads, a-stzbou.ads
+	("="): Add overriding keyword before function to avoid crash when
+	compiler is called with -gnatyO (check overriding indicators).
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Analyze_Pragma, case Check_Policy):  If this
+	is a configuration pragma and it uses the ARG syntax, insert
+	the rewritten pragma after the current one rather than using
+	Insert_Actions.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* exp_aggr.adb (Backend_Processing_Possible): Add handling of
+	C back-end.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* s-imgllu.adb, sem_util.adb, s-imgint.adb, s-imguns.adb,
+	s-imglli.adb: Minor reformatting.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the
+	renamed operator when the associated node appears within a
+	pre/postcondition.
+	* sem_util.ads, sem_util.adb (In_Pre_Post_Condition): New routine.
+2016-04-20  Yannick Moy  <moy@adacore.com>
+	* osint.adb (Relocate_Path): Fix test when Path is shorter than Prefix.
+	* einfo.adb (Set_Overridden_Operation): Add assertion.
+	* sem_util.adb (Unique_Entity): for renaming-as-body return the spec
+	entity.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* exp_unst.adb (Append_Unique_Call): New subprogram.
+	(Unnest_Subprogram): Replace the unique occurrence
+	of Call.Append() by Append_Unique_Call() which protects us from
+	adding to the Calls table duplicated entries.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* exp_attr.adb (Is_GCC_Target): Fix for C backend.
+	* xref_lib.ads (Dependencies_Tables): instantiate
+	Table package with types that guarantee its safe use.
+	* s-imgllu.adb, s-imgint.adb, s-imguns.adb, s-imglli.adb: Avoid nested
+	procedures.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]):
+	Disable expansion when generating C code.
+	* sinfo.ads, inline.ads: Minor editing.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_util.adb, contracts.adb, ghost.adb, exp_ch6.adb: Minor
+	reformatting.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* contracts.adb (Build_Postconditions_Procedure): Code cleanup.
+	* ghost.adb (Os_OK_Ghost_Context.Is_OK_Declaration): Handle the
+	declaration of the internally built _postcondition procedure.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* snames.ads-tmpl (Internal_Attribute_Id, Attribute_Class_Array): Fix
+	indentation.
+	* sem_util.adb (Is_Unchecked_Conversion_Instance):
+	defense against library-level renamings of other functions,
+	which are never instances of Unchecked_Conversion.
+	* einfo.ads: minor fix of casing in comment
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Expand_N_Subprogram_Stub): Do not expand a body
+	that has been analyzed and expanded already. Qualify the names
+	in the proper body for use in the generation of C code.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* contracts.adb (Build_Postconditions_Procedure): Force its
+	inlining when generating C code.
+	* sem_attr.adb (Analyze_Attribute_Old_Result): Handle inlined
+	_postconditions when generating C code.
+	* exp_ch6.adb (Inlined_Subprogram): Inline calls to
+	_postconditions when generating C code.
+	* sinfo.ads, sinfo.adb (Corresponding_Spec, Set_Corresponding_Spec):
+	types of return value and argument changed from Node_Id to
+	Entity_Id.
+2016-04-20  Vincent Celier  <celier@adacore.com>
+	* make.adb, clean.adb, gnatname.adb: Revert previous change for now.
+2016-04-20  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_ch12.adb (Analyze_Instance_And_Renamings): Do not reset
+	the Has_Delayed_Freeze flag on the anonymous instance node.
+2016-04-20  Javier Miranda  <miranda@adacore.com>
+	* sem_ch5.adb (Analyze_Iterator_Specification): Remove transient
+	scope associated with the renaming object declaration.
+	* exp_util.adb (Insert_Actions): Remove handling of iterator
+	loop marked as requiring the secondary stack.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Analyze_Attribute, case 'Image): Implement
+	AI12-0124, which extends the functionality of the attribute so it
+	reflects the semantics of GNAT 'Img when applied to scalar types.
+	* lib-xref.adb: minor whitespace layout fix.
+2016-04-20  Vincent Celier  <celier@adacore.com>
+	* clean.adb (Gnatclean): Fail if project file specified and
+	gprclean is not available.
+	* gnatname.adb: Fail is -P is used and gprname is not available.
+	* make.adb (Initialize): Fail if project file specified and
+	gprbuild is not available.
+2016-04-20  Bob Duff  <duff@adacore.com>
+	* sem_ch5.adb (Analyze_Iterator_Specification): Do not use secondary
+	stack when possible.
+2016-04-20  Gary Dismukes  <dismukes@adacore.com>
+	* par_sco.adb, sem_util.adb, sem_ch13.adb: Minor typo corrections and
+	reformatting.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Analyze_Pragma, case Default_Storage_Pool):
+	If the pragma comes from an aspect specification, verify that
+	the aspect applies to an entity with a declarative part.
+	* exp_ch5.adb: Code cleanup.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_res.adb (Resolve_If_Expression): If first expression is
+	universal, resolve subsequent ones with the corresponding class
+	type (Any_Integer or Any_Real).
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch5.adb (Analyze_Iterator_Specification): If expansion is
+	disabled, complete the analysis of the iterator name to ensure
+	that reference for entities within are properly generated.
+2016-04-20  Arnaud Charlet  <charlet@adacore.com>
+	* a-dispat.ads (Yield): add Global contract.
+	* a-calend.ads, a-reatim.ads: Added Initializes => Clock_Time.
+	* a-taside.adb: Added Initializes => Tasking_State.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch13.adb (Build_Invariant_Procedure):
+	Reimplement the invariant procedure spec and body insertion.
+2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch13.adb (Add_Invariant): Do not replace
+	the saved expression of an invariatn aspect when inheriting
+	a class-wide type invariant as this clobbers the existing
+	expression. Do not use New_Copy_List as it is unnecessary
+	and leaves the parent pointers referencing the wrong part of
+	the tree. Do not replace the type references for ASIS when
+	inheriting a class-wide type invariant as this clobbers the
+	existing replacement.
+2016-04-20  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.adb (Build_Explicit_Dereference): If the designated
+	expression is an entity name, generate reference to the entity
+	because it will not be resolved again.
+2016-04-19  Arnaud Charlet  <charlet@adacore.com>
+	* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst,
+	gnat_rm.texi: Update documentation.
+2016-04-19  Olivier Hainque  <hainque@adacore.com>
+	* par_sco.adb (Traverse_One, case N_Case_Statement):
+	Skip pragmas before the first alternative.
+	(Traverse_Handled_Statement_Sequence, Exception_Handlers): Likewise.
+2016-04-19  Tristan Gingold  <gingold@adacore.com>
+	* adaint.c (__gnat_lwp_self): New function (for darwin).
+	* s-osinte-darwin.ads, s-osinte-darwin.adb (lwp_self): Import
+	of __gnat_lwp_self.
+2016-04-19  Olivier Hainque  <hainque@adacore.com>
+	* sem_util.adb (Build_Elaboration_Entity): Always request an
+	elab counter when preserving control-flow.
+2016-04-19  Olivier Hainque  <hainque@adacore.com>
+	* sem_ch13.adb (Build_Invariant_Procedure_Declaration): Set
+	Needs_Debug_Info when producing SCOs.
+	* par_sco.adb (Traverse_Aspects): Fix categorization of
+	Type_Invariant to match actual processing as activated depending
+	on pragma Assertion_Policy.
+	* sem_prag.adb (Analyze_Pragma): Remove special case for
+	Name_Invariant regarding SCO generation, which completely disabled
+	the production of SCOs for Invariant pragmas and aspects.
+2016-04-19  Hristian Kirtchev  <kirtchev@adacore.com>
+	* checks.adb, sem_util.adb, sem_res.adb, sem_attr.adb: Minor
+	reformatting.
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* freeze.adb (Freeze_Profile): Refine predicate that checks
+	whether a function that returns a limited view is declared in
+	another unit and cannot be frozen at this point.
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* exp_aggr.adb (Component_Count): Handle properly superflat
+	arrays, i.e. empty arrays where Hi < Lo - 1, to ensure that the
+	return value of the function is Natural, rather than leaving
+	the handling of such arrays to the caller of this function.
+2016-04-19  Arnaud Charlet  <charlet@adacore.com>
+	* sem_prag.adb, sem_attr.adb, par-prag.adb, exp_aggr.adb, sem_type.adb
+	sem_ch12.adb, sem_ch3.adb, exp_ch7.adb, exp_ch9.adb: Code cleanup.
+	* sem_res.adb, sem_util.ads, sem_util.adb (Is_OK_Volatile_Context):
+	Promoted from being a nested subprogram in Sem_Res.Resolve_Entity_Name
+	to publicly visible routine in Sem_Util.
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* checks.adb (Apply_Parameter_Aliasing_Checks): Do not apply
+	the check if the type of the actual is By_Reference.
+2016-04-19  Arnaud Charlet  <charlet@adacore.com>
+	* sem_res.adb (Within_Subprogram_Call): Detect
+	also nodes that appear in entry calls.
+	(Resolve_Actuals, Insert_Default): Propagate
+	dimension information if any, from default expression to the
+	copy that appears in the list of actuals.
+	* uintp.ads: minor whitespace fix in comment.
+	* sem_prag.adb, stringt.adb, inline.adb, lib-xref-spark_specific.adb:
+	Minor code cleanup.
+	* set_targ.adb (Set_Targ): convert directly from
+	Natural to Pos, without intermediate conversion to Int.
+2016-04-19  Arnaud Charlet  <charlet@adacore.com>
+	* sem_ch6.adb (Process_Formals): Mark suspicious reference to
+	SPARK RM in comment.
+	* sem_prag.adb (Analyze_Global_Item): Fix reference to SPARK RM
+	in comment.
+	* sem_res.adb (Property_Error, Resolve_Actuals): Fix reference
+	to SPARK RM in both comment and error message.
+2016-04-19  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_ch6.adb (Possible_Freeze): If the type is an incomplete
+	CW type, then the subprogram must have a delayed freeze. This
+	ensures that the backend can properly recover the full view when
+	elaborating the access subprogram declaration.
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Resolve_Attribute, case 'Access): Freeze
+	overloadable entity if originally overloaded.
+2016-04-19  Arnaud Charlet  <charlet@adacore.com>
+	* exp_aggr.adb, exp_ch3.adb, exp_ch7.adb, exp_ch9.adb, exp_code.adb,
+	exp_fixd.adb, namet.adb, osint.adb, osint.ads, par-ch2.adb,
+	sem_ch10.adb, sem_ch12.adb, sem_disp.adb, sem_elab.adb, sem_elim.adb
+	sem_util.adb, styleg.adb, styleg.ads, stylesw.ads: Minor code
+	clean up.
+2016-04-19  Arnaud Charlet  <charlet@adacore.com>
+	* sem_util.adb (Copy_Node_With_Replacement):
+	use Set_Comes_From_Source instead of directly manipulating
+	internals of the node table.
+	* sem_util.adb (Within_Scope): refactored to remove duplicated code.
+	* sem_aux.adb (Get_Rep_Pragma,
+	Subprogram_Body_Entity, Subprogram_Spec): declare variables that
+	do not change as constants and initialize them in the declaration.
+	(Get_Rep_Pragma, Subprogram_Body_Entity, Subprogram_Spec): declare
+	variables that do not change as constants and initialize them
+	in the declaration.
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* sem_res.adb (Resolve_Entry_Call): If the entry has
+	preconditions it is rewritten by means of a wrapper that
+	incorporates the original call. Before rewriting generate a
+	reference to the entry being called to prevent spurious warnings
+	and provide correct cross-reference information.
+2016-04-19  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_disp.adb (Check_Dispatching_Context): Code cleanup. Add
+	local constant Scop. Ignore any internally generated loops when
+	performing the check concerning an abstract subprogram call
+	without a controlling argument.
+	* sem_util.ads, sem_util.adb (Current_Scope_No_Loops): New routine.
+2016-04-19  Bob Duff  <duff@adacore.com>
+	* sem_elab.adb (Check_A_Call): There are cases where we have No
+	(Ent) after the Alias loop, even when there was no previous error,
+	so we can't assert that there was an error.
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* sem_attr.adb (Analyze_Access_Attribute, OK_Self_Reference):
+	Reject use of type name as a prefix to 'access within an aggregate
+	in a context that is not the declarative region of a type.
+2016-04-19  Vincent Celier  <celier@adacore.com>
+	* gnatcmd.adb: Make "gnat ls -P" invoke gprls Make "gnat bind
+	-P" invoke "gprbuild -b" Make "gnat link -P" invoke "gprbuild
+	-l" Fail if the invocation is "gnat find -P" or "gnat xref -P"
+	Remove anything related to project files
+	* g-mbdira.adb: minor whitespace cleanup
+	* g-spipat.adb: minor removal of extra spaces after closing paren
+2016-04-19  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch6.adb (Expand_Actuals):  If post-statements are present
+	and the enclosing context is a function call or indexing, build
+	an Expression_With_Actions for the call.
+2016-04-19  Hristian Kirtchev  <kirtchev@adacore.com>
+	* lib-writ.adb (Write_With_Lines): Code cleanup. Do not generate
+	a with line for an ignored Ghost unit.
+	* sem_ch7.adb (Analyze_Package_Declaration): Add local constant
+	Par. A child package is Ghost when its parent is Ghost.
+	* sem_prag.adb (Analyze_Pragma): Pragma Ghost can now apply to
+	a subprogram declaration that acts as a compilation unit.
+2016-04-18  Michael Matz  <matz@suse.de>
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Use SET_TYPE_ALIGN.
+	(gnat_to_gnu_field): Ditto.
+	(components_to_record): Ditto.
+	(create_variant_part_from): Ditto.
+	(copy_and_substitute_in_size): Ditto.
+	(substitute_in_type): Ditto.
+	* gcc-interface/utils.c (make_aligning_type): Use SET_TYPE_ALIGN.
+	(make_packable_type): Ditto.
+	(maybe_pad_type): Ditto.
+	(finish_fat_pointer_type): Ditto.
+	(finish_record_type): Ditto and use SET_DECL_ALIGN.
+	(rest_of_record_type_compilation): Use SET_TYPE_ALIGN.
+	(create_field_decl): Use SET_DECL_ALIGN.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* einfo.adb (Overridden_Operation): assert that
+	function is called for valid arguments.
+	* sem_aggr.adb, sem_ch3.adb, sem_ch5.adb, sem_type.adb,
+	s-osinte-vxworks.ads, a-ngcefu.adb, sem_ch10.adb, einfo.ads,
+	sem_prag.adb, sem_ch12.adb, sem.adb, i-cobol.ads, freeze.adb,
+	sem_util.adb, a-chtgop.ads, s-rannum.adb, exp_ch6.adb, s-bignum.adb,
+	s-osinte-freebsd.ads, par-ch5.adb, a-chtgbo.ads, a-cofove.adb:
+	No space after closing parenthesis except where required for
+	layout.
+	* sem_res.adb: Minor reformatting.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch4.adb (Expand_N_Case_Expression): Convert into a case
+	statement when relevant.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* a-cuprqu.adb (Enqueue): Properly handle the
+	case where the new element has a unique priority.
+2016-04-18  Tristan Gingold  <gingold@adacore.com>
+	* adaint.h: Define stat structures and functions for iOS
+	simulator.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* sem_res.adb (Resolve_Entry_Call): reset
+	Is_Overloaded flag after resolving calls to overloaded protected
+	operations.
+	* exp_spark.adb (Expand_SPARK): call
+	Qualify_Entity_Names for tasking nodes, i.e. protected types,
+	task types and entries.
+	* exp_ch4.adb (Expand_N_If_Expression): Refine previous change
+	in case of an unconstrained type.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_eval.adb, sem_eval.ads (Check_Non_Static_Context): Add
+	comment to document usage of subprogram in GNATprove.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Analyze_Pragma, case Test_Case): Improve error
+	message for wrong placement of aspect Test_Case.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* einfo.ads: Update the documentation of attribute Renamed_Object.
+	* exp_spark.adb (Expand_Potential_Renaming): Reimplemented.
+2016-04-18  Gary Dismukes  <dismukes@adacore.com>
+	* exp_ch4.adb (Optimize_Length_Comparison): Return immediately
+	in the case of AAMP (same as for use of the -gnatd.P switch) to
+	suppress this optimization, which avoids creating a dependence
+	on the 64-bit arithmetic package.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch4.adb: Update comment.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_ch6.adb (Expand_Call): Make sure instantiations are
+	registered only once as pending here.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* exp_ch4.adb, gnat1drv.adb, opt.ads, sem_res.adb
+	(Minimize_Expression_With_Actions): New flag.
+	(Adjust_Global_Switches): Set Minimize_Expression_With_Actions
+	when generating C.
+	(Resolve_Short_Circuit): Redo previous change
+	using Minimize_Expression_With_Actions.
+	(Expand_N_If_Expression,
+	Expand_Short_Circuit_Operator): Restore old code to avoid
+	Expression_With_Actions when Minimize_Expression_With_Actions
+	is set.
+2016-04-18  Vincent Celier  <celier@adacore.com>
+	* s-os_lib.adb (Non_Blocking_Spawn, version with Stdout_File and
+	Stderr_File): Close local file descriptors when no longer needed.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch5.adb (Analyze_Iterator_Specification): Remove SPARK
+	mode check that the type of the cursor in an iteration over
+	a formal container is not volatile. The proper check on the
+	element type is done elsewhere.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Process_Formals): Do not set a delay freeze on
+	a subprogram that returns a class-wide type, if the subprogram
+	is a compilation unit, because otherwise gigi will treat the
+	subprogram as external, leading to link errors.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* sem_res.adb (Resolve_Short_Circuit): Do not use
+	expression-with-actions when generating C.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_util.adb (Apply_Compile_Time_Constraint_Error): Do not generate
+	raise node in GNATprove mode.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* s-fileio.adb: Minor reformatting.
+	* sem_prag.adb (Analyze_Input_Item): Add local
+	variable Input_OK. Do not consider mappings of generic formal
+	parameters to actuals.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch5.adb (Get_Cursor_Type): If iterator type is a derived
+	type, the cursor is declared in the scope of the parent type.
+	(Analyze_Parameter_Specification): A qualified expression with an
+	iterator type indicates an iteration over a container (explicit
+	or implicit).
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* osint-c.ads, osint-c.adb (Delete_C_File, Delete_H_File): New.
+	* gnat1drv.adb (Gnat1drv): Delete old C files before regenerating them.
+	* debug.adb: Reserve -gnatd.4 to force generation of C files.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_eval.adb (Eval_Arithmetic_Op): Do not issue error on static
+	division by zero, instead possibly issue a warning.
+	* sem_res.adb (Resolve_Arithmetic_Op): Do not issue error on
+	static division by zero, instead add check flag on original
+	expression.
+	* sem_util.adb, sem_util.ads (Compile_Time_Constraint_Error):
+	Only issue error when both SPARK_Mode is On and Warn is False.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* checks.adb (Apply_Scalar_Range_Check): Force
+	warning instead of error when SPARK_Mode is On, on index out of
+	bounds, and set check flag for GNATprove.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Check_In_Out_States.Check_Constituent_Usage):
+	Update the comment on usage.  Reimplemented.
+	(Check_Input_States.Check_Constituent_Usage): Update the comment
+	on usage. A Proof_In constituent can now refine an Input state
+	as long as there is at least one Input constituent present.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Check_Inline_Pragma): Use the Sloc of the
+	body id as the sloc of the entity in the generated subprogram
+	declaration, to avoid spurious conformance errors when style
+	checks are enabled.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Analyze_Selected_Component, Has_Dereference):
+	Refine check on illegal calls to entities within a task body,
+	when the entity is declared in an object of the same type. In
+	a generic context there might be no explicit dereference but if
+	the prefix includes an access type the construct is legal.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* rtsfind.ads, rtsfind.adb (RE_Id, RE_Unit_Table): add
+	RE_Default_Priority.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* sem_prag.adb (Check_Arg_Is_Local_Name): Don't do the check
+	if the pragma came from an aspect specification.
+2016-04-18  Gary Dismukes  <dismukes@adacore.com>
+	* gnat1drv.adb, contracts.adb: Minor reformatting and wording fixes.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): To suppress
+	superfluous conformance check on an inlined body with a previous
+	spec, use the fact that the generated declaration does not come
+	from source. We must treat the entity as coming from source to
+	enable some back-end inlining when pragma appears after the body.
+2016-04-18  Gary Dismukes  <dismukes@adacore.com>
+	* lib-xref-spark_specific.adb, par-ch2.adb, errout.ads,
+	exp_intr.adb: Minor reformatting and typo corrections.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb: Code cleanup.
+2016-04-18  Thomas Quinot  <quinot@adacore.com>
+	* sem_ch13.adb: Minor reformatting and error message tweaking
+	(remove extraneous spaces).
+2016-04-18  Johannes Kanig  <kanig@adacore.com>
+	* gnat1drv.adb (Gnat1drv): Force loading of System unit for SPARK.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* s-fileio.adb (Fopen_Mode): If Mode = Out_File, and the file
+	exists, and it's a fifo, we use "w" as the open string instead of
+	"r+". This is necessary to make a write to the fifo block until
+	a reader is ready.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_attr.adb (Denote_Same_Function): Account
+	for a special case where a primitive of a tagged type inherits
+	a class-wide postcondition from a parent type.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* par-ch2.adb (P_Expression_Or_Reserved_Word): New routine.
+	(P_Pragma): Signal Scan_Pragma_Argument_Association when the use
+	of reserved words is OK.
+	(Scan_Pragma_Argument_Association):
+	Add new formal Reserved_Words_OK and update the comment on
+	usage. Code cleanup. Parse an expression or a reserved word in
+	identifier form for pragmas Restriction_Warnings and Restrictions
+	No_Use_Of_Attribute.
+	* restrict.adb (Check_Restriction_No_Use_Of_Attribute):
+	Reimplemented.	(Check_Restriction_No_Use_Of_Pragma): Code cleanup.
+	(Set_Restriction_No_Specification_Of_Aspect): Properly set the warning
+	flag for an aspect.
+	(Set_Restriction_No_Use_Of_Attribute): Properly set the warning
+	flag for an attribute.	(Set_Restriction_No_Use_Of_Entity):
+	Update the parameter profile.
+	(Set_Restriction_No_Use_Of_Pragma): Properly set the warning flag for
+	a pragma.
+	* restrict.ads (Check_Restriction_No_Use_Of_Attribute): Update
+	the comment on usage.
+	(Set_Restriction_No_Use_Of_Entity): Update the parameter profile.
+	* sem_attr.adb (Analyze_Attribute): Check restriction
+	No_Use_Of_Attribute.
+	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check
+	restriction No_Use_Of_Attribute before any rewritings have
+	taken place.
+	* sem_prag.adb (Analyze_Pragma): Check restriction
+	No_Use_Of_Pragma before any rewritings have taken place.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* sem_ch6.adb (Is_Inline_Pragma): The pragma
+	argument can be a selected component, which has no Chars field,
+	so we need to deal with that case (use the Selector_Name).
+	(Check_Inline_Pragma): We need to test Is_List_Member before
+	calling In_Same_List, because in case of a library unit, they're
+	not in lists, so In_Same_List fails an assertion.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* namet.ads, namet.adb: Add an Append that appends a
+	Bounded_String onto a Bounded_String. Probably a little more
+	efficient than "Append(X, +Y);". Also minor cleanup.
+	(Append_Decoded, Append_Decoded_With_Brackets, Append_Unqualified,
+	Append_Unqualified_Decoded): Make sure these work with non-empty
+	buffers.
+	* casing.ads, casing.adb (Set_Casing): Pass a Bounded_String
+	parameter, defaulting to Global_Name_Buffer.
+	* errout.ads, errout.adb (Adjust_Name_Case): Pass a
+	Bounded_String parameter, no default.
+	* exp_ch11.adb (Expand_N_Raise_Statement): Use local
+	Bounded_String instead of Global_Name_Buffer.
+	* exp_intr.ads, exp_intr.adb (Write_Entity_Name): Rename it
+	to Append_Entity_Name, and pass a Bounded_String parameter,
+	instead of using globals.
+	(Add_Source_Info): Pass a Bounded_String parameter, instead of
+	using globals.
+	(Expand_Source_Info): Use local instead of globals.
+	* stringt.ads, stringt.adb (Append): Add an Append procedure
+	for appending a String_Id onto a Bounded_String.
+	(String_To_Name_Buffer, Add_String_To_Name_Buffer): Rewrite in
+	terms of Append.
+	* sem_prag.adb (Set_Error_Msg_To_Profile_Name): Adjust for new
+	Adjust_Name_Case parameter.
+	* erroutc.adb, uname.adb: Don't pass D => Mixed_Case to
+	Set_Casing; that's the default.
+	* lib-xref-spark_specific.adb (Add_SPARK_Scope): Pretend that calls to
+	protected subprograms are entry calls; otherwise it is not possible to
+	distinguish them from regular subprogram calls.
+2016-04-18  Gary Dismukes  <dismukes@adacore.com>
+	* sem_ch13.adb (Has_Good_Profile): Improvement
+	of error message. Now indicates subtype_mark of formal parameter
+	rather than the formal's name, plus minor rewording.
+2016-04-18  Pascal Obry  <obry@adacore.com>
+	* adaint.c, adaint.h, s-os_lib.ads: Add new routine Current_Process_Id.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* stringt.adb, exp_ch6.adb, sem_ch13.adb: Minor reformatting.
+2016-04-18  Gary Dismukes  <dismukes@adacore.com>
+	* par-ch4.adb, sem_prag.adb: Minor reformatting.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* sinput.ads, sinput.adb (Build_Location_String): Take a
+	parameter instead of using a global variable.  The function
+	version no longer destroys the Name_Buffer.
+	* stringt.ads, stringt.adb (String_From_Name_Buffer): Take a
+	parameter, which defaults to the Global_Name_Buffer, so some
+	calls can avoid the global.
+	* exp_ch11.adb, exp_intr.adb: Use new interfaces above
+	to avoid using globals. All but one call to Build_Location_String
+	avoids the global. Only one call to String_From_Name_Buffer
+	avoids it.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* namet.adb, namet.ads, exp_unst.adb: Minor reformatting.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_eval.adb (Choice_Matches): Check the expression
+	against the predicate values when the choice denotes a
+	subtype with a static predicate.
+	(Eval_Membership_Op): Code cleanup. Remove the suspicious guard which
+	tests for predicates.
+	(Is_OK_Static_Subtype): A subtype with a dynamic predicate
+	is not static.	(Is_Static_Subtype): A subtype with a dynamic
+	predicate is not static.
+	* sem_eval.ads (Is_OK_Static_Subtype): Update the comment on usage.
+	(Is_Static_Subtype): Update the comment on usage.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Analyze_Input_Item): Allow
+	generic formals to appear as initialization items.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch13.adb (Analyze_Stream_TSS_Definition,
+	Has_Good_Profile): Additional error message to indicate that
+	the second parameter of the subprogram must be a first subtype.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper, Is_Inline_Pragma):
+	Use the pragma lookahead that determines whether a subprogram
+	is to be inlined, when some level of backend optimization is
+	required.
+	* sem_ch12.ads, sem_ch12.adb (Add_Pending_Instantiation): Factorize
+	code used to create an instance body when needed for inlining.
+	* exp_ch6.adb (Expand_Call): When a call is to be inlined, and the
+	call appears within an instantiation that is not a compilation
+	unit, add a pending instantiation for the enclosing instance,
+	so the backend can inline in turn the calls contained in the
+	inlined body.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Build_Pragma_Check_Equivalent): The mapping
+	that relates operations of the parent type to the operations of
+	the derived type has three distinct sources:
+	a) explicit operations of the derived type carry an
+	Overridden_Operation that designates the operation in the
+	ancestor.
+	b) Implicit operations that are inherited by the derived type
+	carry an alias that may be an explicit subprogram (in which case
+	it may have an Overridden_ Operation indicator) or may also be
+	inherited and carry its own alias.
+	c) If the parent type is an interface, the operation of the
+	derived type does not override, but the interface operation
+	indicates the operation that implements it.
+	* sem_prag.adb: Minor reformatting.
+	* sem_prag.adb (Check_External_Property): Update
+	the comment on usage. Reimplement.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* exp_ch5.adb (Expand_Assignment_Statement): In restricted
+	profiles such as ZFP, ceiling priority is not available.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* namet-sp.ads: Minor typo fix, ironically in 'Spelling_Checker'.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* sem_elab.adb (Output_Calls): Use
+	Get_Name_String, to clearly indicate that the global Name_Buffer
+	is being used. The previous code used Is_Internal_Name, which
+	returns a Boolean, but also has a side effect of setting the
+	Name_Buffer. Then it called the other Is_Internal_Name, which uses
+	the Name_Buffer for its input. And then it called Error_Msg_N,
+	again using the Name_Buffer. We haven't eliminated the global
+	usage here, but we've made it a bit clearer.
+	This also allows us to have a side-effect-free version of
+	Is_Internal_Name.
+	* namet.ads, namet.adb: Provide a type Bounded_String, along with
+	routines that can be used without using global variables. Provide
+	Global_Name_Buffer so existing code can continue to use the
+	global. Mark the routines that use globals as obsolete.  New code
+	shouldn't call the obsolete ones, and we should clean up existing
+	code from time to time.
+	Name_Find_Str is renamed as Name_Find.
+	* namet.h: Changed as necessary to interface to the new version
+	of Namet.
+	* bindgen.adb, exp_unst.adb: Name_Find_Str is renamed as
+	Name_Find.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_util.adb, sem_util.ads (Has_Full_Default_Initialization): used
+	outside of GNATprove, hence it should not be removed.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Analyze_Refinement_Clause):
+	The refinement of an external abstract state can now mention
+	non-external constituents.
+	(Check_External_Property): Update all SPARK RM references.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* exp_intr.adb: Remove some duplicated code.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* a-nudira.adb, a-nudira.ads, a-nuflra.adb, a-nuflra.ads: Mark
+	package spec and body out of SPARK.
+2016-04-18  Johannes Kanig  <kanig@adacore.com>
+	* spark_xrefs.ads: Minor comment update.
+2016-04-18  Johannes Kanig  <kanig@adacore.com>
+	* gnat1drv.adb (Gnat1drv): Force loading of System
+	unit for SPARK.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* a-cuprqu.adb: Correction to previous change. If a new node
+	is inserted at the front of the queue (because it is higher
+	priority than the previous front node), we need to update
+	Header.Next_Unequal -- not just in the case where the queue was
+	previously empty.
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* a-cuprqu.ads: Change the representation of List_Type from a
+	singly-linked list to a doubly-linked list. In addition, add a
+	pointer Next_Unequal, which points past a possibly-long chain
+	of equal-priority items. This increases efficiency, especially
+	in the case of many equal-priority items.
+	* a-cuprqu.adb (Dequeue, Enqueue): Rewrite algorithms to take
+	advantage of new data structure.
+	(Finalize): Rewrite in terms of Dequeue, for simplicity.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* contracts.adb (Analyze_Object_Contract,
+	Analyze_Protected_Contract): Remove tests performed in GNATprove.
+	* sem_util.adb, sem_util.ads (Has_Full_Default_Initialization):
+	Remove query for tests performed in GNATprove.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_aggr.adb (Resolve_Record_Aggregate): If
+	Warn_On_Redundant_Constructs is enabled, report a redundant box
+	association that does not cover any components, as it done for
+	redundant others associations in case statements.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.adb (Collect_Inherited_Class_Wide_Conditions):
+	Analyze the generated Check pragma for an inherited condition so
+	that it does not freeze the dispatching type of the primitive
+	operation, because it is pre-analyzed at the point of the
+	subprogram declaration (and not in the subprogram body, as is
+	done during regular expansion).
+2016-04-18  Vincent Celier  <celier@adacore.com>
+	* ali.ads: Increase the range of all _Id types to 100 millions.
+2016-04-18  Gary Dismukes  <dismukes@adacore.com>
+	* sem_warn.adb (Check_References): Change warning to suggest
+	using pragma Export rather than saying "volatile has no effect".
+2016-04-18  Bob Duff  <duff@adacore.com>
+	* g-souinf.ads (Compilation_ISO_Date): New function to return
+	the current date in ISO form.
+	* exp_intr.adb (Expand_Source_Info, Add_Source_Info): Expand
+	a call to Compilation_ISO_Date into a string literal containing
+	the current date in ISO form.
+	* exp_intr.ads (Add_Source_Info): Improve documentation.
+	* sem_intr.adb (Check_Intrinsic_Subprogram): Recognize
+	Compilation_ISO_Date.
+	* snames.ads-tmpl (Name_Compilation_ISO_Date): New Name_Id.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* layout.adb (Set_Elem_Alignment): Extend setting of alignment
+	to subtypes that are not first subtypes.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_prag.ads (Collect_Inherited_Class_Wide_Conditions):
+	Simplify interface.
+	* sem_prag.adb (Collect_Inherited_Class_Wide_Conditions): Insert
+	generated pragmas after subprogram declaration, rather than in
+	the corresponding subprogram body.
+	* sem_ch6.adb (New_Overloaded_Entity): In GNATProve
+	mode, if the operation is overridding, call
+	Collect_Inherited_Class_Wide_Conditions to generate the
+	corresponding pragmas immediately after the corresponding
+	subprogram declaration.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* spark_xrefs.ads (Xref_Index, Scope_Index, File_Index): restrict
+	type to natural numbers.
+	(Stype): document code characters for concurrent entities.
+2016-04-18  Olivier Hainque  <hainque@adacore.com>
+	* targparm.ads: Update the Frontend_Exceptions default internal
+	value.
+	(Frontend_Exceptions_On_Target): Change default value to True.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch4.adb (Analyze_Selected_Component): Refine error
+	detection when a selected component in the body of a synchronized
+	type is a reference to an object of the same type declared
+	elsewhere. The construct is legal if the prefix of the selected
+	component includes an explicit dereference at any point.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_ch3.adb (Analyze_Object_Declaration): Do not consider
+	internally generated expressions when trying to determine whether
+	a formal parameter of a tagged type subject to Extensions_Visible
+	False is used to initialize an object.
+	* sem_ch4.adb (Analyze_Type_Conversion): Do not consider
+	internally generated expressions when trying to determine whether
+	a formal parameter of a tagged type subject to Extensions_Visible
+	False is used in a type conversion.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_res.adb (Is_Protected_Operation_Call):
+	Add guards to account for a non-decorated selected component.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Improve
+	implementation of Body_Has_SPARK_Mode_On.
+	* sem_prag.adb, sem_prag.ads (Get_SPARK_Mode_From_Annotation):
+	New function replacing previous Get_SPARK_Mode_From_Pragma, that
+	deals also with aspects.
+	(Get_SPARK_Mode_Type): Make function internal again.
+	* inline.adb, sem_ch7.adb, sem_util.adb: Use new
+	Get_SPARK_Mode_From_Annotation.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* contracts.adb (Analyze_Object_Contract): Update references to
+	SPARK RM.
+	* freeze.adb (Freeze_Entity): Update references to SPARK RM.
+	* ghost.adb Add with and use clauses for Sem_Disp.
+	(Check_Ghost_Derivation): Removed.
+	(Check_Ghost_Overriding):
+	Reimplemented.	(Check_Ghost_Policy): Update references to SPARK RM.
+	(Check_Ghost_Primitive): New routine.
+	(Check_Ghost_Refinement): New routine.	(Is_OK_Ghost_Context):
+	Update references to SPARK RM.	(Is_OK_Pragma): Update references
+	to SPARK RM. Predicates are now a valid context for references
+	to Ghost entities.
+	* ghost.ads (Check_Ghost_Derivation): Removed.
+	(Check_Ghost_Overriding): Update the comment on usage.
+	(Check_Ghost_Primitive): New routine.
+	(Check_Ghost_Refinement): New routine.
+	(Remove_Ignored_Ghost_Code): Update references to SPARK RM.
+	* sem_ch3.adb (Process_Full_View): Remove the now obsolete check
+	related to Ghost derivations
+	* sem_ch6.adb (Check_Conformance): Remove now obsolete check
+	related to the convention-like behavior of pragma Ghost.
+	(Check_For_Primitive_Subprogram): Verify that the Ghost policy
+	of a tagged type and its primitive agree.
+	* sem_prag.adb (Analyze_Pragma): Update references to SPARK
+	RM. Move the verification of pragma Assertion_Policy Ghost
+	to the proper place. Remove the now obsolete check related
+	to Ghost derivations.
+	(Collect_Constituent): Add a call to Check_Ghost_Refinement.
+	* sem_res.adb (Resolve_Actuals): Update references to SPARK RM.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* layout.adb: Fix more minor typos in comments.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* a-calend.ads, sem_prag.adb, sem_ch6.adb: Minor reformatting.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): In GNATprove
+	mode, collect inherited class-wide conditions to generate the
+	corresponding pragmas.
+	* sem_prag.ads (Build_Pragma_Check_Equivalent): Moved from contracts
+	* contracts.adb (Collect_Inherited_Class_Wide_Conditions): New
+	procedure for overriding subprograms, used to generate the pragmas
+	corresponding to an inherited class- wide pre- or postcondition.
+	* sem_prag.adb (Build_Pragma_Check_Equivalent): moved here
+	from contracts.adb (Replace_Condition_Entities): Subsidiary
+	Build_Pragma_Check_Equivalent, to implement the proper semantics
+	of inherited class-wide conditions, as given in AI12-0113.
+	(Process_Class_Wide_Condition): Removed.
+	(Collect_Inherited_Class_Wide_Conditions): Iterate over pragmas
+	in contract of subprogram, to collect inherited class-wide
+	conditions.
+	(Build_Pragma_Check_Equivalent): Moved to sem_prag.adb
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* a-calend.adb (Ada.Calendar): Mark package body as SPARK_Mode Off.
+	* a-calend.ads (Ada.Calendar): Mark package spec as
+	SPARK_Mode and add synchronous external abstract state Clock_Time.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_res.adb (Resolve_Call): Prevent inlining of
+	calls inside expression functions.  Factor previous code issuing
+	errors to call Cannot_Inline instead, which does appropriate
+	processing of message for GNATprove.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* einfo.ads, sem_ch3.adb, sem_ch8.adb, osint-l.adb, rtsfind.adb,
+	osint-b.adb: Cleanups.
+2016-04-18  Yannick Moy  <moy@adacore.com>
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Only create
+	body to inline in GNATprove mode when SPARK_Mode On applies to
+	subprogram body.
+	* sem_prag.adb, sem_prag.ads (Get_SPARK_Mode_Type): Make function
+	public.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* layout.adb: Fix minor typo in comment.
+	* inline.adb: Fix minor pasto.
+	* sem_ch12.ads: Fix minor typos in comments.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_disp.adb (Check_Dispatching_Call): Major rewriting to
+	handle some complex cases of tag indeterminate calls that are
+	actuals in other dispatching calls that are themselves tag
+	indeterminate.
+	(Check_Dispatching_Context): Add parameter to support recursive
+	check for an enclosing construct that may provide a tag for a
+	tag-indeterminate call.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* sem_prag.adb (Analyze_Depends_In_Decl_Part):
+	Add global variables Task_Input_Seen and Task_Output_Seen.
+	(Analyze_Global_Item): Detect an illegal use of the current
+	instance of a single protected/task type in a global annotation.
+	(Analyze_Input_Output): Inputs and output related to the current
+	instance of a task unit are now tracked.
+	(Check_Usage): Require
+	the presence of the current instance of a task unit only when
+	one input/output is available.	(Current_Task_Instance_Seen):
+	New routine.
+	(Is_CCT_Instance): New parameter profile. Update
+	the comment on usage. The routine now properly recognizes several
+	cases related to single protected/task types.
+2016-04-18  Hristian Kirtchev  <kirtchev@adacore.com>
+	* freeze.adb (Freeze_Entity): Use New_Freeze_Node
+	to create a brand new freeze node. This handles a case where an
+	ignored Ghost context is freezing something which is not ignored
+	Ghost and whose freeze node should not be removed from the tree.
+	(New_Freeze_Node): New routine.
+2016-04-18  Jerome Lambourg  <lambourg@adacore.com>
+	* sigtramp.h (__gnat_set_is_vxsim) New function to
+	tell sigtramp-vxworks to handle vxsim signal contexts.	*
+	sigtramp-vxworks.c (__gnat_sigtramp) Take into account the
+	differences in the sigcontext structure between the expected
+	regular x86 or x86_64 ones and the ones received in case of
+	exexution on the vxworks simulator.
+	* init.c: also compute is_vxsim in case of x86_64-vx7 target. Provide
+	this information to sigtramp-vxworks.c. Remove the old mechanism for
+	vxsim.
+	* init-vxsim.c, sigtramp-vxworks-vxsim.c: remove, now obsolete.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_ch3.adb (Inline_Init_Proc): New function returning
+	whether the initialization procedure of a type should be
+	inlined.  Return again True for controlled type themselves.
+	(Build_Array_Init_Proc): Call it to set Set_Is_Inlined on Init_Proc.
+	(Build_Record_Init_Proc): Likewise.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* gnatvsn.ads (Library_Version): Bump to 7.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_ch6.adb (Analyze_Expression_Function): Set Inlined flag
+	on the entity of a subprogram declaration that is completed by
+	an expression function.
+2016-04-18  Ed Schonberg  <schonberg@adacore.com>
+	* sem_util.adb (Is_Current_Instance): A entity given by a subtype
+	declaration can appear in an aspect specification for a dynamic
+	predicate, and a pragma for aspect Predicate_Failure.
+	* exp_util.adb (Replace_Subtype_References): Replace current
+	occurrences of the subtype to which a dynamic predicate applies,
+	byt the expression that triggers a predicate check. Needed to
+	implement new aspect Predicate_Failure.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* a-intsig.ads, a-intsig.adb: Removed, no longer used.
+	* Makefile.rtl: update accordingly.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_type.adb (Disambiguate): Call Covers only when necessary
+	for standard operators.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* atree.ads (Num_Extension_Nodes): Add couple of figures
+	to comment.
+	* atree.adb: Add GNAT.Heap_Sort_G dependency.
+	(Print_Statistics): New exported procedure to print statistics.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_ch3.adb (Build_Record_Init_Proc): Do not mark the procedure
+	as to be inlined if the type needs finalization.
+2016-04-18  Jerome Lambourg  <lambourg@adacore.com>
+	* sigtramp-vxworks-target.inc: sigtramp-vxworks: force the stack
+	alignment for x86_64.
+	* init.c: Better fix for guard page reset on x86_64-vx7.
+	Do not try to retrieve the page that actually raised
+	the signal as the probing mechanism used on x86_64 do not allow
+	such retrieval. We thus just test if the guard page is active,
+	and re-activate it if not.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* a-sytaco.adb (Suspension_Object): Aspect Default_Initial_Condition
+	added.
+2016-04-18  Jerome Lambourg  <lambourg@adacore.com>
+	* affinity.c: Use the proper type for task id.
+	* init.c (__gnat_inum_to_ivec): ivec is a pointer.
+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+	* sem_prag.adb (Process_Convention): Relax rule on exporting
+	Intrinsic types if Relaxed_RM_Semantics is True.
+2016-04-18  Vincent Celier  <celier@adacore.com>
+	* sem_ch3.adb, lib.ads, sinfo.ads, sem_ch10.adb, einfo.adb, einfo.ads,
+	checks.ads, sem_ch12.adb, sem.adb, sem_util.adb, sem_util.ads,
+	sem_res.adb, sem_attr.adb, par.adb, exp_ch4.adb, errout.ads,
+	sem_ch4.adb, atree.adb, atree.ads, sem_warn.adb, treepr.adb,
+	exp_ch3.ads, exp_unst.adb: Change "descendent" to
+	"descendant" in comments, error messages and identifiers.
+	* gcc-interface/decl.c: Ditto.
+2016-04-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* sem_type.adb (Operator_Matches_Spec): Call First_Formal on
+	New_S only once at the beginning of the function.
+2016-04-02  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (components_to_record): Restrict the previous
+	change to fields with variable size.
+2016-03-27  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (components_to_record): Add special case for
+	single field with representation clause at offset 0.
+2016-03-16  Svante Signell  <svante.signell@gmail.com>
+	* gcc-interface/Makefile.in: Add support for x86 GNU/Hurd.
+	* s-osinte-gnu.ads: New file.
+2016-03-13  Eric Botcazou  <ebotcazou@adacore.com>
+	* system-vxworks-m68k.ads (Stack_Check_Probes): Set to True.
+	(Stack_Check_Limits): Set to False.
+	* system-vxworks-mips.ads (Stack_Check_Probes): Set to True.
+	(Stack_Check_Limits): Set to False.
+	* system-vxworks-ppc.ads (Stack_Check_Probes): Set to True.
+	(Stack_Check_Limits): Set to False.
+	* system-vxworks-sparcv9.ads (Stack_Check_Probes): Set to True.
+	(Stack_Check_Limits): Set to False.
+	* system-vxworks-x86.ads (Stack_Check_Probes): Set to True.
+	(Stack_Check_Limits): Set to False.
+2016-03-07  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (statement_node_p): New predicate.
+	(gnat_to_gnu): Invoke it to detect statement nodes.  In ASIS mode, do
+	not return dummy results for expressions attached to packed array
+	implementation types.
+2016-03-07  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Always mark
+	the expression of a renaming manually in case #3.
+2016-03-02  Dominik Vogt  <vogt@linux.vnet.ibm.com>
+	* system-linux-s390.ads: Enable Stack_Check_Probes.
+	* system-linux-s390.ads: Likewise.
+2016-02-29  Martin Liska  <mliska@suse.cz>
+	* gcc-interface/utils.c (set_reverse_storage_order_on_pad_type):
+	Replace ENABLE_CHECKING macro with flag_checking.
+2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Retrofit
+	handling of unconstrained array types as designated types into common
+	processing.  Also handle array types as incomplete designated types.
+2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <Concurrent types>: In
+	ASIS mode, fully lay out the minimal record type.
+2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/trans.c (finalize_nrv_r): Remove obsolete code.
+	(build_return_expr): Likewise.
+	(Call_to_gnu): If this is a function call and there is no target,
+	create a temporary for the return value for all aggregate types,
+	but never create it for a return statement.  Push a binding level
+	around the call in more cases.  Remove obsolete code.
+2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/ada-tree.h (DECL_RETURN_VALUE_P): New macro.
+	* gcc-interface/gigi.h (gigi): Remove useless attribute.
+	(gnat_gimplify_expr): Likewise.
+	(gnat_to_gnu_external): Declare.
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Factor out
+	code dealing with the expression of external constants into...
+	Invoke gnat_to_gnu_external instead.
+	<E_Variable>: Invoke gnat_to_gnu_external to translate renamed objects
+	when not for a definition.  Deal with COMPOUND_EXPR and variables with
+	DECL_RETURN_VALUE_P set for renamings and with the case of a dangling
+	'reference to a function call in a renaming.  Remove obsolete test and
+	adjust associated comment.
+	* gcc-interface/trans.c (Call_to_gnu): Set DECL_RETURN_VALUE_P on the
+	temporaries created to hold the return value, if any.
+	(gnat_to_gnu_external): ...this.  New function.
+	* gcc-interface/utils.c (create_var_decl): Detect a constant created
+	to hold 'reference to function call.
+	* gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Add folding
+	for COMPOUND_EXPR in the DECL_RETURN_VALUE_P case.
+2016-02-17  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_ch4.adb (Expand_N_Indexed_Component): Activate synchronization if
+	the prefix denotes an entity which Has_Atomic_Components.
+	* gcc-interface/trans.c (node_is_atomic): Return true if the prefix
+	denotes an entity which Has_Atomic_Components.
+2016-02-17  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils2.c (gnat_protect_expr): Make a SAVE_EXPR only
+	for fat pointer or scalar types.
+2016-02-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/gigi.h (maybe_debug_type): New inline function.
+	* gcc-interface/misc.c (gnat_get_array_descr_info): Use it.
+	Call maybe_character_value on the array bounds.  Get to the base type
+	of the index type and call maybe_debug_type on it.
+	* gcc-interface/utils.c (finish_character_type): Add special treatment
+	for char_type_node.
+2016-02-16  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/misc.c (gnat_enum_underlying_base_type): New function.
+	(LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define to above.
+2016-02-12  Jakub Jelinek  <jakub@redhat.com>
+	* prj-tree.ads: Spelling fixes - behaviour -> behavior and
+	neighbour -> neighbor.
+	* prep.adb: Likewise.
+	* prj.ads: Likewise.
+	* prepcomp.adb: Likewise.
+	* g-socket.ads: Likewise.
+	* s-imgrea.adb: Likewise.
+	* a-calend.adb: Likewise.
+	* exp_disp.adb: Likewise.
+	* doc/gnat_ugn/gnat_utility_programs.rst: Likewise.
+	* g-socket.adb: Likewise.
+	* sem_ch12.adb: Likewise.
+	* terminals.c: Likewise.
+2016-02-08  Bernd Schmidt  <bschmidt@redhat.com>
+	* gcc-interface/misc.c (gnat_init): Remove second argument in call to
+	build_common_tree_nodes.
+2016-02-08  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/utils.c (create_var_decl): Set again DECL_COMMON and
+	DECL_IGNORED_P last.
+2016-01-28  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/gigi.h (enum attr_type): Rename into...
+	(enum attrib_type): ...this.
+	(struct attrib): Adjust.
+	* gcc-interface/decl.c (prepend_one_attribute): Likewise.
+2016-01-20  Eric Botcazou  <ebotcazou@adacore.com>
+	* exp_ch2.adb (Expand_Current_Value): Make an appropriate character
+	literal if the entity is of a character type.
+	* gcc-interface/lang.opt (fsigned-char): New option.
+	* gcc-interface/misc.c (gnat_handle_option): Accept it.
+	(gnat_init): Adjust comment.
+	* gcc-interface/gigi.h (finish_character_type): New prototype.
+	(maybe_character_type): New inline function.
+	(maybe_character_value): Likewise.
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>: For
+	a character of CHAR_TYPE_SIZE, make a signed type if flag_signed_char.
+	Set TYPE_ARTIFICIAL early and call finish_character_type on the type.
+	<E_Enumeration_Subtype>: For a subtype of character with RM_Size and
+	Esize equal to CHAR_TYPE_SIZE, make a signed type if flag_signed_char.
+	Copy TYPE_STRING_FLAG from type to subtype.
+	<E_Array_Type>: Deal with character index types.
+	<E_Array_Subtype>: Likewise.
+	* gcc-interface/trans.c (gigi): Replace unsigned_char_type_node with
+	char_type_node throughout.
+	(build_raise_check): Likewise.
+	(get_type_length): Deal with character types.
+	(Attribute_to_gnu) <Attr_Pos>: Likewise.  Remove obsolete range check
+	code.  Minor tweak.
+	<Attr_Pred>: Likewise.
+	(Loop_Statement_to_gnu): Likewise.
+	(Raise_Error_to_gnu): Likewise.
+	<N_Indexed_Component>: Deal with character index types.  Remove
+	obsolete code.
+	<N_Slice>: Likewise.
+	<N_Type_Conversion>: Deal with character types.  Minor tweak.
+	<N_Unchecked_Type_Conversion>: Likewise.
+	<N_In>: Likewise.
+	<N_Op_Eq>: Likewise.
+	(emit_index_check): Delete.
+	* gcc-interface/utils.c (finish_character_type): New function.
+	(gnat_signed_or_unsigned_type_for): Deal with built-in character types.
+	* gcc-interface/utils2.c (expand_sloc): Replace unsigned_char_type_node
+	with char_type_node.
+	(build_call_raise): Likewise.
+	(build_call_raise_column): Likewise.
+	(build_call_raise_range): Likewise.
+2016-01-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/gigi.h (build_call_raise_column): Adjust prototype.
+	(build_call_raise_range): Likewise.
+	(gnat_unsigned_type): Delete.
+	(gnat_signed_type): Likewise.
+	(gnat_signed_or_unsigned_type_for): New prototype.
+	(gnat_unsigned_type_for): New inline function.
+	(gnat_signed_type_for): Likewise.
+	* gcc-interface/cuintp.c (build_cst_from_int): Call build_int_cst.
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Likewise.
+	(gnat_to_gnu_entity) <E_Array_Type>: Always translate the index types
+	and compute their base type from that.
+	<E_Array_Subtype>: Remove duplicate declaration.
+	* gcc-interface/misc.c (get_array_bit_stride): Call build_int_cst.
+	* gcc-interface/trans.c (get_type_length): Likewise.
+	(Attribute_to_gnu): Likewise.
+	(Loop_Statement_to_gnu): Likewise.
+	(Call_to_gnu): Likewise.
+	(gnat_to_gnu): Call build_real, build_int_cst, gnat_unsigned_type_for
+	and gnat_signed_type_for.  Minor tweaks.
+	(build_binary_op_trapv): Likewise.
+	(emit_check): Likewise.
+	(convert_with_check): Likewise.
+	(Raise_Error_to_gnu): Adjust calls to the build_call_raise family of
+	functions.  Minor tweaks.
+	(Case_Statement_to_gnu): Remove dead code.
+	(gnat_to_gnu): Call gnat_unsigned_type_for and gnat_signed_type_for.
+	(init_code_table): Minor reordering.
+	* gcc-interface/utils.c (gnat_unsigned_type): Delete.
+	(gnat_signed_type): Likewise.
+	(gnat_signed_or_unsigned_type_for): New function.
+	(unchecked_convert): Use directly the size in the test for precision
+	vs size adjustments.
+	(install_builtin_elementary_types): Call gnat_signed_type_for.
+	* gcc-interface/utils2.c (nonbinary_modular_operation): Call
+	build_int_cst.
+	(build_goto_raise): New function taken from...
+	(build_call_raise): ...here.  Call it.
+	(build_call_raise_column): Add KIND parameter and call it.
+	(build_call_raise_range): Likewise.
+2016-01-18  Eric Botcazou  <ebotcazou@adacore.com>
+	* gcc-interface/ada-tree.h (TYPE_IMPLEMENTS_PACKED_ARRAY_P): Rename to
+	(TYPE_IMPL_PACKED_ARRAY_P): ...this.
+	(TYPE_CAN_HAVE_DEBUG_TYPE_P): Do not test TYPE_DEBUG_TYPE.
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Simplify NULL_TREE tests
+	and tweak gnat_encodings tests throughout.
+	(initial_value_needs_conversion): Likewise.
+	(intrin_arglists_compatible_p): Likewise.
+	* gcc-interface/misc.c (gnat_print_type): Likewise.
+	(gnat_get_debug_type): Likewise.
+	(gnat_get_fixed_point_type_info): Likewise.
+	(gnat_get_array_descr_info): Likewise.
+	(get_array_bit_stride): Likewise.
+	(gnat_get_type_bias): Fix formatting.
+	(enumerate_modes): Likewise.
+	* gcc-interface/trans.c (gnat_to_gnu): Likewise.
+	(add_decl_expr): Simplify NULL_TREE test.
+	(end_stmt_group): Likewise.
+	(build_binary_op_trapv): Fix formatting.
+	(get_exception_label): Use switch statement.
+	(init_code_table): Move around.
+	* gcc-interface/utils.c (global_bindings_p): Simplify NULL_TREE test.
+	(gnat_poplevel): Likewise.
+	(gnat_set_type_context): Likewise.
+	(defer_or_set_type_context): Fix formatting.
+	(gnat_pushdecl): Simplify NULL_TREE test.
+	(maybe_pad_type): Likewise.
+	(add_parallel_type): Likewise.
+	(create_range_type): Likewise.
+	(process_deferred_decl_context): Likewise.
+	(convert): Likewise.
+	(def_builtin_1): Likewise.
+	* gcc-interface/utils2.c (find_common_type): Likewise.
+	(build_binary_op): Likewise.
+	(gnat_rewrite_reference): Likewise.
+	(get_inner_constant_reference): Likewise.
+2016-01-18  Eric Botcazou  <ebotcazou@adacore.com>
+	PR ada/69219
+	* gcc-interface/trans.c (check_inlining_for_nested_subprog): Consider
+	the parent function instead of the current function in order to issue
+	the warning or the error.  Add guard for ignored functions.
+2016-01-17  Jakub Jelinek  <jakub@redhat.com>
+	* adaint.c (__gnat_killprocesstree): Avoid -Wparentheses warning.
+2016-01-15  Jakub Jelinek  <jakub@redhat.com>
+	* adaint.c (__gnat_locate_exec_on_path): Use const char * instead
+	of char * for path_val to avoid warnings.
+2016-01-06  Pierre-Marie de Rodat  <derodat@adacore.com>
+	* gcc-interface/utils.c: Bump copyright year.
+	(rest_of_record_type_compilation): Add XVE/XVU parallel types to
+	the current lexical scope.
+2016-01-04  Jakub Jelinek  <jakub@redhat.com>
+	* gnat_ugn.texi: Bump @copying's copyright year.
+	* gnat_rm.texi: Likewise.
+2016-01-02  Eric Botcazou  <ebotcazou@adacore.com>
+	* gnatvsn.ads: Bump copyright year.
+Copyright (C) 2016 Free Software Foundation, Inc.
+Copying and distribution of this file, with or without modification,
+are permitted in any medium without royalty provided the copyright
+notice and this notice are preserved.

Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/ChangeLog-2016 @ 111:04ced10e8804