[multiple changes]

2014-08-01  Thomas Quinot  <quinot@adacore.com>

	* freeze.adb: Minor reformatting.

2014-08-01  Thomas Quinot  <quinot@adacore.com>

	* exp_ch3.adb (Default_Initialize_Object): Do not generate
	default initialization for an imported object.

2014-08-01  Olivier Hainque  <hainque@adacore.com>

	* seh_init.c (__gnat_map_SEH): Cast argument of IsBadCodePtr
	to the expected FARPROC type instead of void *.
	* adaint.c (f2t): Expect __time64_t * as second argument, in line with
	other datastructures.
	(__gnat_file_time_name_attr): Adjust accordingly.
	(__gnat_check_OWNER_ACL): Declare pSD as PSECURITY_DESCRIPTOR,
	in line with uses.
	(__gnat_check_OWNER_ACL): Declare AccessMode
	parameter as ACCESS_MODE instead of DWORD, in line with callers
	and uses.
	(__gnat_set_executable): Add ATTRIBUTE_UNUSED on mode,
	unused on win32.  Correct cast of "args" on call to spawnvp.
	(add_handle): Cast realloc calls into their destination types.
	(win32_wait): Remove declaration and initialization of unused variable.
	(__gnat_locate_exec_on_path): Cast alloca calls
	into their destination types.
	* initialize.c (append_arg, __gnat_initialize): Cast xmalloc calls into
	their destination types.

2014-08-01  Gary Dismukes  <dismukes@adacore.com>

	* exp_ch4.adb (Expand_N_Type_Conversion): Expand
	range checks for conversions between floating-point subtypes
	when the target and source types are the same.

2014-08-01  Robert Dewar  <dewar@adacore.com>

	* exp_aggr.adb: Minor reformatting.

2014-08-01  Eric Botcazou  <ebotcazou@adacore.com>

	* sem_ch13.adb (Check_Indexing_Functions): Initialize
	Indexing_Found.

2014-08-01  Arnaud Charlet  <charlet@adacore.com>

	* gnat1drv.adb (Gnat1drv): In gnatprove mode, we now write the
	ALI file before we call the backend (so that gnat2why can append
	to it).

2014-08-01  Thomas Quinot  <quinot@adacore.com>

	* exp_pakd.adb (Expand_Bit_Packed_Element_Set,
	Expand_Packed_Element_Reference): Pass additional Rev_SSO
	parameter indicating whether the packed array type has reverse
	scalar storage order to the s-pack* Set/Get routines.
	* s-pack*.ad* (Get, Set, GetU, SetU): New formal Rev_SSO
	indicating reverse scalar storage order.

2014-08-01  Robert Dewar  <dewar@adacore.com>

	* sem_ch3.adb (Check_Initialization): Set Do_Range_Check
	for initial component value in -gnatc or GNATprove mode.
	(Process_Discriminants): Same fix for default discriminant values.
	* sem_eval.adb (Test_In_Range): Improve accuracy of results by
	checking subtypes.

2014-08-01  Robert Dewar  <dewar@adacore.com>

	* sinfo.ads: Minor comment clarification.

From-SVN: r213471

1 files changed, 8 insertions, 11 deletions

diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c
index f7ca0d8..8a18418 100644
--- a/gcc/ada/adaint.c
+++ b/gcc/ada/adaint.c
@@ -1310,7 +1310,7 @@ win32_filetime (HANDLE h)
 
 /* As above but starting from a FILETIME.  */
 static void
-f2t (const FILETIME *ft, time_t *t)
+f2t (const FILETIME *ft, __time64_t *t)
 {
   union
   {
@@ -1319,7 +1319,7 @@ f2t (const FILETIME *ft, time_t *t)
   } t_write;
 
   t_write.ft_time = *ft;
-  *t = (time_t) (t_write.ull_time / 10000000ULL - w32_epoch_offset);
+  *t = (__time64_t) (t_write.ull_time / 10000000ULL - w32_epoch_offset);
 }
 #endif
 
@@ -1332,7 +1332,7 @@ __gnat_file_time_name_attr (char* name, struct file_attributes* attr)
 #if defined (_WIN32) && !defined (RTX)
       BOOL res;
       WIN32_FILE_ATTRIBUTE_DATA fad;
-      time_t ret = -1;
+      __time64_t ret = -1;
       TCHAR wname[GNAT_MAX_PATH_LEN];
       S2WSC (wname, name, GNAT_MAX_PATH_LEN);
 
@@ -1748,7 +1748,7 @@ __gnat_check_OWNER_ACL (TCHAR *wname,
   BOOL fAccessGranted = FALSE;
   HANDLE hToken = NULL;
   DWORD nLength = 0;
-  SECURITY_DESCRIPTOR* pSD = NULL;
+  PSECURITY_DESCRIPTOR pSD = NULL;
 
   GetFileSecurity
     (wname, OWNER_SECURITY_INFORMATION |
@@ -1808,7 +1808,7 @@ __gnat_check_OWNER_ACL (TCHAR *wname,
 
 static void
 __gnat_set_OWNER_ACL (TCHAR *wname,
-		      DWORD AccessMode,
+		      ACCESS_MODE AccessMode,
 		      DWORD AccessPermissions)
 {
   PACL pOldDACL = NULL;
@@ -2022,7 +2022,7 @@ __gnat_set_writable (char *name)
 #define S_OTHERS 4
 
 void
-__gnat_set_executable (char *name, int mode)
+__gnat_set_executable (char *name, int mode ATTRIBUTE_UNUSED)
 {
 #if defined (_WIN32) && !defined (RTX)
   TCHAR wname [GNAT_MAX_PATH_LEN + 2];
@@ -2177,7 +2177,7 @@ __gnat_portable_spawn (char *args[] ATTRIBUTE_UNUSED)
   strcat (args[0], args_0);
   strcat (args[0], "\"");
 
-  status = spawnvp (P_WAIT, args_0, (char* const*)args);
+  status = spawnvp (P_WAIT, args_0, (char ** const)args);
 
   /* restore previous value */
   free (args[0]);
@@ -2325,7 +2325,7 @@ add_handle (HANDLE h, int pid)
     {
       plist_max_length += 1000;
       HANDLES_LIST =
-        (void **) xrealloc (HANDLES_LIST, sizeof (HANDLE) * plist_max_length);
+        (HANDLE *) xrealloc (HANDLES_LIST, sizeof (HANDLE) * plist_max_length);
       PID_LIST =
         (int *) xrealloc (PID_LIST, sizeof (int) * plist_max_length);
     }
@@ -2445,7 +2445,6 @@ win32_wait (int *status)
   HANDLE *hl;
   HANDLE h;
   DWORD res;
-  int k;
   int hl_len;
 
   if (plist_length == 0)
@@ -2454,8 +2453,6 @@ win32_wait (int *status)
       return -1;
     }
 
-  k = 0;
-
   /* -------------------- critical section -------------------- */
   (*Lock_Task) ();