r191900 - in /trunk/gcc/ada: ChangeLog checks.a...

[charlet at gcc dot gnu dot org]

Author: charlet
Date: Mon Oct  1 08:37:25 2012
New Revision: 191900

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191900
Log:
2012-10-01  Vincent Pucci  <pucci@adacore.com>

	* system-solaris-sparcv9.ads, system-mingw.ads, system-vms_64.ads: Flag
	Support_Atomic_Primitives set to True.

2012-10-01  Robert Dewar  <dewar@adacore.com>

	* impunit.adb: Ada.Locales is a language defined unit.

2012-10-01  Hristian Kirtchev  <kirtchev@adacore.com>

	* checks.adb (Apply_Parameter_Aliasing_Checks): Removed.
	(Apply_Parameter_Aliasing_And_Validity_Checks): New routine.
	(Apply_Parameter_Validity_Checks): Removed.
	* checks.ads (Apply_Parameter_Aliasing_Checks): Removed.
	(Apply_Parameter_Aliasing_And_Validity_Checks): New routine.
	(Apply_Parameter_Validity_Checks): Removed.
	* exp_ch6.adb (Expand_Call): Remove the generation of parameter
	aliasing checks.
	* freeze.adb: Remove with and use clauses for Validsw.
	(Freeze_Entity): Update the guard and generation of aliasing
	and scalar initialization checks for subprogram parameters.
	* opt.ads: Add new flags Check_Aliasing_Of_Parameters and
	Check_Validity_Of_Parameters along with comments on usage.
	* sem_attr.adb (Analyze_Attribute): Pragma Overlaps_Storage is
	no longer an Ada 2012 feature.
	* sem_ch4.adb: Remove with and use clauses for Checks and Validsw.
	(Analyze_Call): Remove the generation of aliasing checks for
	subprogram parameters.
	* sem_ch13.adb: Remove with and use clauses for Validsw.
	(Analyze_Aspect_Specifications): Remove the generation of scalar
	initialization checks.
	* switch-c.adb (Scan_Front_End_Switches): Add processing for
	-gnateA and -gnateV.
	* usage.adb (Usage): Add information on switches -gnateA and
	-gnateV. Remove information on validity switches 'l', 'L',
	'v' and 'V'.
	* validsw.adb (Reset_Validity_Check_Options): Remove the
	reset of flags Validity_Check_Non_Overlapping_Params
	and Validity_Check_Valid_Scalars_On_Params.
	(Save_Validity_Check_Options): Remove the processing
	for flags Validity_Check_Non_Overlapping_Params
	and Validity_Check_Valid_Scalars_On_Params.
	(Set_Validity_Check_Options): Remove the processing
	for flags Validity_Check_Non_Overlapping_Params and
	Validity_Check_Valid_Scalars_On_Params.
	* validsw.ads: Remove flags Validity_Check_Non_Overlapping_Params
	and Validity_Check_Valid_Scalars_On_Params along with their
	comments on usage.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/checks.ads
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/impunit.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/switch-c.adb
    trunk/gcc/ada/system-mingw.ads
    trunk/gcc/ada/system-solaris-sparcv9.ads
    trunk/gcc/ada/system-vms_64.ads
    trunk/gcc/ada/usage.adb
    trunk/gcc/ada/validsw.adb
    trunk/gcc/ada/validsw.ads