[multiple changes]

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

	* checks.adb: Minor reformatting.

2012-10-01  Javier Miranda  <miranda@adacore.com>

	* exp_ch3.adb (Expand_N_Object_Declaration): Suppress tag
	assignment for initializations that are aggregates.

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

	* exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow):
	New procedure.

From-SVN: r191914

gcc/ada/ChangeLog

 2012-10-01  Robert Dewar  <dewar@adacore.com>
 
+	* checks.adb: Minor reformatting.
+
+2012-10-01  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Suppress tag
+	assignment for initializations that are aggregates.
+
+2012-10-01  Robert Dewar  <dewar@adacore.com>
+
+	* exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow):
+	New procedure.
+
+2012-10-01  Robert Dewar  <dewar@adacore.com>
+
 	* checks.adb (Minimize_Eliminate_Checks): Changes from testing.
 	(Apply_Arithmetic_Overflow_Minimized_Eliminated): Changes
 	from testing.

gcc/ada/checks.adb

@@ -1114,12 +1114,12 @@ package body Checks is
 
       elsif Is_RTE (Etype (Op), RE_Bignum) then
 
-         --  We need a sequence that looks like
+         --  We need a sequence that looks like:
 
          --    Rnn : Result_Type;
 
          --    declare
-         --       M   : Mark_Id := SS_Mark;
+         --       M : Mark_Id := SS_Mark;
          --    begin
          --       Rnn := Long_Long_Integer'Base (From_Bignum (Op));
          --       SS_Release (M);

gcc/ada/exp_ch3.adb

@@ -5393,6 +5393,8 @@ package body Exp_Ch3 is
               and then not Is_CPP_Class (Typ)
               and then Tagged_Type_Expansion
               and then Nkind (Expr) /= N_Aggregate
+              and then (Nkind (Expr) /= N_Qualified_Expression
+                         or else Nkind (Expression (Expr)) /= N_Aggregate)
             then
                declare
                   Full_Typ : constant Entity_Id := Underlying_Type (Typ);