exp_ch4.adb (Expand_Composite_Equality): Use the full view when the base type is private.

2013-07-05  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_ch4.adb (Expand_Composite_Equality): Use the full view
	when the base type is private.

From-SVN: r200706

gcc/ada/ChangeLog

+2013-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
+
+	* exp_ch4.adb (Expand_Composite_Equality): Use the full view
+	when the base type is private.
+
 2013-07-05  Claire Dross  <dross@adacore.com>
 
 	* a-cfdlli.ads: Add preconditions when needed.

gcc/ada/exp_ch4.adb

@@ -2580,6 +2580,13 @@ package body Exp_Ch4 is
 
       Full_Type := Base_Type (Full_Type);
 
+      --  When the base type itself is private, use the full view to expand
+      --  the composite equality.
+
+      if Is_Private_Type (Full_Type) then
+         Full_Type := Underlying_Type (Full_Type);
+      end if;
+
       if Is_Array_Type (Full_Type) then
 
          --  If the operand is an elementary type other than a floating-point