2009-04-20 Robert Dewar <dewar@adacore.com>

	* s-conca5.adb, s-conca5.ads, s-conca7.adb, s-conca7.ads, s-conca9.adb,
	s-conca9.ads, rtsfind.ads, s-conca2.adb, s-conca2.ads, s-conca4.adb,
	s-conca4.ads, s-conca6.adb, s-conca6.ads, s-conca8.adb, s-conca8.ads,
	s-conca3.adb, s-conca3.ads (Str_Concat_Bounds_x): New functions.

	* exp_ch4.adb (Expand_Concatenate): Minor code reorganization

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

	* initialize.c (__gnat_initialize): Add braces to kill warning.

	* adaint.c: Minor reformatting, untabify, remove trailing spaces.




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

1 files changed, 11 insertions, 4 deletions

diff --git a/gcc/ada/s-conca6.ads b/gcc/ada/s-conca6.ads
index f78f932f1f0..91cc10e68d5 100644
--- a/gcc/ada/s-conca6.ads
+++ b/gcc/ada/s-conca6.ads
@@ -37,9 +37,16 @@ pragma Compiler_Unit;
 package System.Concat_6 is
 
    procedure Str_Concat_6 (R : out String; S1, S2, S3, S4, S5, S6 : String);
-   --  Performs the operation R := S1 & S2 & S3 & S4 & S5 & S6. The bounds of
-   --  R are known to be correct, so no bounds checks are required, and it is
-   --  known that none of the input operands overlaps R. No assumptions can be
-   --  made about the lower bounds of any of the operands.
+   --  Performs the operation R := S1 & S2 & S3 & S4 & S5 & S6. The
+   --  bounds of R are known to be correct (usually set by a call to the
+   --  Str_Concat_Bounds_6 procedure below), so no bounds checks are required,
+   --  and it is known that none of the input operands overlaps R. No
+   --  assumptions can be made about the lower bounds of any of the operands.
+
+   procedure Str_Concat_Bounds_6
+     (Lo, Hi                 : out Natural;
+      S1, S2, S3, S4, S5, S6 : String);
+   --  Assigns to Lo..Hi the bounds of the result of concatenating the six
+   --  given strings, following the rules in the RM regarding null operands.
 
 end System.Concat_6;