[multiple changes]

2009-04-17  Ed Schonberg  <schonberg@adacore.com>

	* exp_ch4.adb (Expand_Allocator_Expression): Apply constraint check to
	aggregate, using context imposed by subtype mark in allocator.

2009-04-17  Pascal Obry  <obry@adacore.com>

	* gnat_rm.texi: Document GNAT_CODE_PAGE environment variable

From-SVN: r146238

gcc/ada/ChangeLog

@@ -1,3 +1,12 @@
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_ch4.adb (Expand_Allocator_Expression): Apply constraint check to
+	aggregate, using context imposed by subtype mark in allocator.
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+	* gnat_rm.texi: Document GNAT_CODE_PAGE environment variable
+
 2009-04-17  Nicolas Roche  <roche@adacore.com>
 
 	* initialize.c (__gnat_initialize): remove MAX_PATH limitation on each

gcc/ada/exp_ch4.adb

@@ -3449,8 +3449,13 @@ package body Exp_Ch4 is
       end if;
 
       --  Handle case of qualified expression (other than optimization above)
+      --  First apply constraint checks, because the bounds or discriminants
+      --  in the aggregate might not match the subtype mark in the allocator.
 
       if Nkind (Expression (N)) = N_Qualified_Expression then
+         Apply_Constraint_Check
+           (Expression (Expression (N)), Etype (Expression (N)));
+
          Expand_Allocator_Expression (N);
          return;
       end if;

gcc/ada/gnat_rm.texi

@@ -13097,9 +13097,19 @@ string, the filename must be a standard 8bits string.
 @end itemize
 
 In the absence of a @samp{encoding=@var{xxx}} form parameter, the
-value UTF-8 is used. This encoding form parameter is only supported on
+encoding is controlled by the @samp{GNAT_CODE_PAGE} environment
-the Windows platform. On the other Operating Systems the runtime is
+variable. And if not set @samp{utf8} is assumed.
-supporting UTF-8 natively.
+
+@table @samp
+@item CP_ACP
+The current system Windows ANSI code page.
+@item CP_UTF8
+UTF-8 encoding
+@end table
+
+This encoding form parameter is only supported on the Windows
+platform. On the other Operating Systems the run-time is supporting
+UTF-8 natively.
 
 @node Open Modes
 @section Open Modes