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

	* make.adb, exp_ch3.adb: Minor reformatting.

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

	* validsw.adb (Save_Validity_Check_Options): Do not set
	Validity_Check_Non_Overlapping_Params and
	Validity_Check_Valid_Scalars_On_Params when -gnatVa is present
	because the related checks are deemed too aggressive.

2012-10-01  Ed Schonberg  <schonberg@adacore.com>

	* sem_util.ads sem_util.adb (Check_Internal_Protected_Use):
	reject use of protected procedure or entry within the body of
	a protected function of the same protected type, when usage is
	a call, an actual in an instantiation, a or prefix of 'Access.
	* sem_ch8.adb (Analyze_Subprogram_Renaming): Verify that target
	object in renaming of protected procedure is a variable, and
	apply Check_Internal_Protected_Use.
	* sem_res.adb (Analyze_Call, Analyze_Entry_Call): apply
	Check_Internal_Protected_Use rather than on-line code.
	* sem_attr.adb (Analyze_Access_Attribute): Verify that target
	object in accsss to protected procedure is a variable, and apply
	Check_Internal_Protected_Use.

2012-10-01  Gary Dismukes  <dismukes@adacore.com>

	* sem_ch4.adb (Find_Equality_Types.Try_One_Interp): Exclude the
	predefined interpretation from consideration if it's for a "/="
	operator of a tagged type. This will allow Analyze_Equality_Op to
	rewrite the "/=" as a logical negation of a call to the appropriate
	dispatching equality function. This needs to be done during
	analysis rather than expansion for the benefit of ASIS, which
	otherwise gets the unresolved N_Op_Ne operator from Standard.



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

1 files changed, 8 insertions, 2 deletions

diff --git a/gcc/ada/validsw.adb b/gcc/ada/validsw.adb
index df39e1a568a..2edd0c09e38 100644
--- a/gcc/ada/validsw.adb
+++ b/gcc/ada/validsw.adb
@@ -214,6 +214,14 @@ package body Validsw is
             when 'V' =>
                Validity_Check_Valid_Scalars_On_Params := False;
 
+            --  Note: The following two flags are not set when "-gnatVa" is in
+            --  effect because the associated checks are deemed too aggressive.
+
+            --     Validity_Check_Non_Overlapping_Params
+            --     Validity_Check_Valid_Scalars_On_Params
+
+            --  and in any case these do not belong as validity checks ???
+
             when 'a' =>
                Validity_Check_Components              := True;
                Validity_Check_Copies                  := True;
@@ -221,13 +229,11 @@ package body Validsw is
                Validity_Check_Floating_Point          := True;
                Validity_Check_In_Out_Params           := True;
                Validity_Check_In_Params               := True;
-               Validity_Check_Non_Overlapping_Params  := True;
                Validity_Check_Operands                := True;
                Validity_Check_Parameters              := True;
                Validity_Check_Returns                 := True;
                Validity_Check_Subscripts              := True;
                Validity_Check_Tests                   := True;
-               Validity_Check_Valid_Scalars_On_Params := True;
 
             when 'n' =>
                Validity_Check_Components              := False;