r213471 - in /trunk/gcc/ada: ChangeLog adaint.c...

charlet@gcc.gnu.org charlet@gcc.gnu.org
Fri Aug 1 14:11:00 GMT 2014


Author: charlet
Date: Fri Aug  1 14:11:18 2014
New Revision: 213471

URL: https://gcc.gnu.org/viewcvs?rev=213471&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/adaint.c
    trunk/gcc/ada/exp_aggr.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/exp_pakd.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/s-pack03.adb
    trunk/gcc/ada/s-pack03.ads
    trunk/gcc/ada/s-pack05.adb
    trunk/gcc/ada/s-pack05.ads
    trunk/gcc/ada/s-pack06.adb
    trunk/gcc/ada/s-pack06.ads
    trunk/gcc/ada/s-pack07.adb
    trunk/gcc/ada/s-pack07.ads
    trunk/gcc/ada/s-pack09.adb
    trunk/gcc/ada/s-pack09.ads
    trunk/gcc/ada/s-pack10.adb
    trunk/gcc/ada/s-pack10.ads
    trunk/gcc/ada/s-pack11.adb
    trunk/gcc/ada/s-pack11.ads
    trunk/gcc/ada/s-pack12.adb
    trunk/gcc/ada/s-pack12.ads
    trunk/gcc/ada/s-pack13.adb
    trunk/gcc/ada/s-pack13.ads
    trunk/gcc/ada/s-pack14.adb
    trunk/gcc/ada/s-pack14.ads
    trunk/gcc/ada/s-pack15.adb
    trunk/gcc/ada/s-pack15.ads
    trunk/gcc/ada/s-pack17.adb
    trunk/gcc/ada/s-pack17.ads
    trunk/gcc/ada/s-pack18.adb
    trunk/gcc/ada/s-pack18.ads
    trunk/gcc/ada/s-pack19.adb
    trunk/gcc/ada/s-pack19.ads
    trunk/gcc/ada/s-pack20.adb
    trunk/gcc/ada/s-pack20.ads
    trunk/gcc/ada/s-pack21.adb
    trunk/gcc/ada/s-pack21.ads
    trunk/gcc/ada/s-pack22.adb
    trunk/gcc/ada/s-pack22.ads
    trunk/gcc/ada/s-pack23.adb
    trunk/gcc/ada/s-pack23.ads
    trunk/gcc/ada/s-pack24.adb
    trunk/gcc/ada/s-pack24.ads
    trunk/gcc/ada/s-pack25.adb
    trunk/gcc/ada/s-pack25.ads
    trunk/gcc/ada/s-pack26.adb
    trunk/gcc/ada/s-pack26.ads
    trunk/gcc/ada/s-pack27.adb
    trunk/gcc/ada/s-pack27.ads
    trunk/gcc/ada/s-pack28.adb
    trunk/gcc/ada/s-pack28.ads
    trunk/gcc/ada/s-pack29.adb
    trunk/gcc/ada/s-pack29.ads
    trunk/gcc/ada/s-pack30.adb
    trunk/gcc/ada/s-pack30.ads
    trunk/gcc/ada/s-pack31.adb
    trunk/gcc/ada/s-pack31.ads
    trunk/gcc/ada/s-pack33.adb
    trunk/gcc/ada/s-pack33.ads
    trunk/gcc/ada/s-pack34.adb
    trunk/gcc/ada/s-pack34.ads
    trunk/gcc/ada/s-pack35.adb
    trunk/gcc/ada/s-pack35.ads
    trunk/gcc/ada/s-pack36.adb
    trunk/gcc/ada/s-pack36.ads
    trunk/gcc/ada/s-pack37.adb
    trunk/gcc/ada/s-pack37.ads
    trunk/gcc/ada/s-pack38.adb
    trunk/gcc/ada/s-pack38.ads
    trunk/gcc/ada/s-pack39.adb
    trunk/gcc/ada/s-pack39.ads
    trunk/gcc/ada/s-pack40.adb
    trunk/gcc/ada/s-pack40.ads
    trunk/gcc/ada/s-pack41.adb
    trunk/gcc/ada/s-pack41.ads
    trunk/gcc/ada/s-pack42.adb
    trunk/gcc/ada/s-pack42.ads
    trunk/gcc/ada/s-pack43.adb
    trunk/gcc/ada/s-pack43.ads
    trunk/gcc/ada/s-pack44.adb
    trunk/gcc/ada/s-pack44.ads
    trunk/gcc/ada/s-pack45.adb
    trunk/gcc/ada/s-pack45.ads
    trunk/gcc/ada/s-pack46.adb
    trunk/gcc/ada/s-pack46.ads
    trunk/gcc/ada/s-pack47.adb
    trunk/gcc/ada/s-pack47.ads
    trunk/gcc/ada/s-pack48.adb
    trunk/gcc/ada/s-pack48.ads
    trunk/gcc/ada/s-pack49.adb
    trunk/gcc/ada/s-pack49.ads
    trunk/gcc/ada/s-pack50.adb
    trunk/gcc/ada/s-pack50.ads
    trunk/gcc/ada/s-pack51.adb
    trunk/gcc/ada/s-pack51.ads
    trunk/gcc/ada/s-pack52.adb
    trunk/gcc/ada/s-pack52.ads
    trunk/gcc/ada/s-pack53.adb
    trunk/gcc/ada/s-pack53.ads
    trunk/gcc/ada/s-pack54.adb
    trunk/gcc/ada/s-pack54.ads
    trunk/gcc/ada/s-pack55.adb
    trunk/gcc/ada/s-pack55.ads
    trunk/gcc/ada/s-pack56.adb
    trunk/gcc/ada/s-pack56.ads
    trunk/gcc/ada/s-pack57.adb
    trunk/gcc/ada/s-pack57.ads
    trunk/gcc/ada/s-pack58.adb
    trunk/gcc/ada/s-pack58.ads
    trunk/gcc/ada/s-pack59.adb
    trunk/gcc/ada/s-pack59.ads
    trunk/gcc/ada/s-pack60.adb
    trunk/gcc/ada/s-pack60.ads
    trunk/gcc/ada/s-pack61.adb
    trunk/gcc/ada/s-pack61.ads
    trunk/gcc/ada/s-pack62.adb
    trunk/gcc/ada/s-pack62.ads
    trunk/gcc/ada/s-pack63.adb
    trunk/gcc/ada/s-pack63.ads
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/sinfo.ads



More information about the Gcc-cvs mailing list