[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index df057e59aead8790b062a525f6dc65cb22267ebd..0957668a94cab7699c9c41f1bfe42583abec7791 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/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

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 874350bc07d1bed249698b062cd2678a9d9eb65f..5640e76e75637f6c762eb3134f1049a2bcb79a92 100644 (file)
--- a/gcc/ada/exp_ch4.adb
+++ b/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;

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 9ce6255410a001a1fda7d575f80d3eede12787df..322e6fe71ce76c4505d485016e90eba8ed16f5f2 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/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
-the Windows platform. On the other Operating Systems the runtime is
-supporting UTF-8 natively.
+encoding is controlled by the @samp{GNAT_CODE_PAGE} environment
+variable. And if not set @samp{utf8} is assumed.
+
+@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