2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>

	* sem_prag.adb (Analyze_Global_Item): Emit the
	variable related checks concerning volatile objects only when
	SPARK_Mode is on.

2014-02-24  Robert Dewar  <dewar@adacore.com>

	* sem_ch5.adb (Analyze_Iterator_Specification): use
	Error_Msg_Ada_2012_Feature.

2014-02-24  Jose Ruiz  <ruiz@adacore.com>

	* s-rident.ads (Profile_Info): For Ravenscar, the restrictions
	No_Local_Timing_Events and No_Specific_Termination_Handlers
	must be set, according to the Ravenscar profile definition
	in D.13(6/3).

2014-02-24  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Analyze_Expression_Function): If this is a
	completion, freeze return type and its designated type if needed.

2014-02-24  Thomas Quinot  <quinot@adacore.com>

	* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
	'Address): When moving initialization statements to a freeze
	entity, keep them under a single node (i.e. do not unwrap
	expressions with actions), and set the Initialization_Statements
	attribute again so that processing of a later pragma Import can
	still remove them.

2014-02-24  Claire Dross  <dross@adacore.com>

	* a-cfdlli.adb, a-cfdlli.ads, a-cfhama.adb, a-cfhama.ads,
	a-cfhase.adb, a-cfhase.ads, a-cforma.adb, a-cforma.ads,
	a-cforse.adb, a-cforse.ads, a-cofove.adb, a-cofove.ads: Rename
	Left/Right to First_To_Previous/Current_To_Last.

2014-02-24  Thomas Quinot  <quinot@adacore.com>

	* adaint.h (struct file_attributes): New component "error"
	(__gnat_error_attributes): Accessor for the above.
	* adaint.c (__gnat_error_attributes): New subprogram
	(__gnat_stat): Fix returned value (expect errno value)
	(__gnat_stat_to_attr): Add management of error component (set to
	stat errno value, except for missing files where it is set to 0,
	and exists is set to 0).
	* osint.ads (File_Attributes_Size): Update per change above,
	also clarify documentation.
	* s-filatt.ads: New file, binding to file attributes related
	functions.
	* Makefile.rtl (s-filatt): New runtime unit.
	* s-crtl.ads (strlen): Expose binding to GCC builtin (falls back
	to library function if not available on target).
	* s-os_lib.ads, s-os_lib.adb (Errno_Message): New subprogram.
	* s-oscons-tmplt.c (SIZEOF_struct_file_attributes,
	SIZEOF_struct_dirent_alloc): New constants.
	* Make-generated.in (s-oscons.ads): Now requires adaint.h.
	* a-direct.adb (Fetch_Next_Entry): Fix incorrect buffer sizes.
	Perform appropriate error checking if stat fails (do not just
	ignore existing files if stat fails)
	* gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS): Update
	dependencies.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208078 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 23 insertions, 21 deletions

diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in
index 4f0ca79b097..e3c012a88c3 100644
--- a/gcc/ada/gcc-interface/Make-lang.in
+++ b/gcc/ada/gcc-interface/Make-lang.in
@@ -350,6 +350,7 @@ GNAT_ADA_OBJS =	\
  ada/s-htable.o	\
  ada/s-imenne.o	\
  ada/s-imgenu.o	\
+ ada/s-imgint.o \
  ada/s-mastop.o	\
  ada/s-memory.o	\
  ada/s-os_lib.o	\
@@ -457,27 +458,16 @@ GNAT1_ADA_OBJS = $(GNAT_ADA_OBJS) ada/back_end.o ada/gnat1drv.o
 GNAT1_OBJS = $(GNAT1_C_OBJS) $(GNAT1_ADA_OBJS) ada/b_gnat1.o
 
 GNATBIND_OBJS = \
- ada/adaint.o     \
- ada/argv.o       \
- ada/cio.o        \
- ada/cstreams.o   \
- ada/env.o        \
- ada/exit.o       \
- ada/final.o      \
- ada/init.o       \
- ada/initialize.o \
- ada/link.o       \
- ada/raise.o      \
- ada/seh_init.o   \
- ada/targext.o    \
- ada/ada.o        \
  ada/a-clrefi.o   \
  ada/a-comlin.o   \
  ada/a-elchha.o   \
  ada/a-except.o   \
+ ada/ada.o        \
+ ada/adaint.o     \
  ada/ali-util.o   \
  ada/ali.o        \
  ada/alloc.o      \
+ ada/argv.o       \
  ada/aspects.o    \
  ada/atree.o      \
  ada/bcheck.o     \
@@ -487,34 +477,41 @@ GNATBIND_OBJS = \
  ada/bindusg.o    \
  ada/butil.o      \
  ada/casing.o     \
+ ada/cio.o        \
  ada/csets.o      \
+ ada/cstreams.o   \
  ada/debug.o      \
  ada/einfo.o      \
  ada/elists.o     \
+ ada/env.o        \
  ada/err_vars.o   \
  ada/errout.o     \
  ada/erroutc.o    \
+ ada/exit.o       \
+ ada/final.o      \
  ada/fmap.o       \
- ada/fname.o      \
  ada/fname-uf.o   \
+ ada/fname.o      \
  ada/g-byorma.o   \
  ada/g-hesora.o   \
  ada/g-htable.o   \
- ada/s-os_lib.o   \
- ada/s-string.o   \
  ada/gnat.o       \
  ada/gnatbind.o   \
  ada/gnatvsn.o    \
  ada/hostparm.o   \
+ ada/init.o       \
+ ada/initialize.o \
  ada/interfac.o   \
  ada/krunch.o     \
  ada/lib.o        \
+ ada/link.o       \
  ada/namet.o      \
  ada/nlists.o     \
  ada/opt.o        \
  ada/osint-b.o    \
  ada/osint.o      \
  ada/output.o     \
+ ada/raise.o      \
  ada/restrict.o   \
  ada/rident.o     \
  ada/s-addope.o   \
@@ -537,8 +534,10 @@ GNATBIND_OBJS = \
  ada/s-htable.o   \
  ada/s-imenne.o   \
  ada/s-imgenu.o   \
+ ada/s-imgint.o   \
  ada/s-mastop.o   \
  ada/s-memory.o   \
+ ada/s-os_lib.o   \
  ada/s-parame.o   \
  ada/s-restri.o   \
  ada/s-secsta.o   \
@@ -550,6 +549,7 @@ GNATBIND_OBJS = \
  ada/s-stalib.o   \
  ada/s-stoele.o   \
  ada/s-strhas.o   \
+ ada/s-string.o   \
  ada/s-strops.o   \
  ada/s-traent.o   \
  ada/s-unstyp.o   \
@@ -557,24 +557,26 @@ GNATBIND_OBJS = \
  ada/s-wchcnv.o   \
  ada/s-wchcon.o   \
  ada/s-wchjis.o   \
- ada/scng.o       \
  ada/scans.o      \
  ada/scil_ll.o    \
+ ada/scng.o       \
  ada/sdefault.o   \
+ ada/seh_init.o   \
  ada/sem_aux.o    \
  ada/sinfo.o      \
- ada/sinput.o     \
  ada/sinput-c.o   \
+ ada/sinput.o     \
  ada/snames.o     \
  ada/stand.o      \
  ada/stringt.o    \
- ada/switch-b.o   \
- ada/switch.o     \
  ada/style.o      \
  ada/styleg.o     \
  ada/stylesw.o    \
+ ada/switch-b.o   \
+ ada/switch.o     \
  ada/system.o     \
  ada/table.o      \
+ ada/targext.o    \
  ada/targparm.o   \
  ada/tree_io.o    \
  ada/types.o      \