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, 10 insertions, 3 deletions

diff --git a/gcc/ada/s-conca2.ads b/gcc/ada/s-conca2.ads
index b0fa85956af..c5c7a2808be 100644
--- a/gcc/ada/s-conca2.ads
+++ b/gcc/ada/s-conca2.ads
@@ -38,8 +38,15 @@ package System.Concat_2 is
 
    procedure Str_Concat_2 (R : out String; S1, S2 : String);
    --  Performs the operation R := S1 & S2. 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.
+   --  correct (usually set by a call to the Str_Concat_Bounds_2 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_2
+     (Lo, Hi : out Natural;
+      S1, S2 : String);
+   --  Assigns to Lo..Hi the bounds of the result of concatenating the two
+   --  given strings, following the rules in the RM regarding null operands.
 
 end System.Concat_2;