obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 688 insertions, 0 deletions

diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa4020.a b/gcc/testsuite/ada/acats/tests/cxa/cxa4020.a
new file mode 100644
index 000000000..24036f171
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/cxa/cxa4020.a
@@ -0,0 +1,688 @@
+-- CXA4020.A
+--
+--                             Grant of Unlimited Rights
+--
+--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
+--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 
+--     unlimited rights in the software and documentation contained herein.
+--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 
+--     this public release, the Government intends to confer upon all 
+--     recipients unlimited rights  equal to those held by the Government.  
+--     These rights include rights to use, duplicate, release or disclose the 
+--     released technical data and computer software in whole or in part, in 
+--     any manner and for any purpose whatsoever, and to have or permit others 
+--     to do so.
+--
+--                                    DISCLAIMER
+--
+--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
+--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 
+--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
+--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 
+--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
+--     PARTICULAR PURPOSE OF SAID MATERIAL.
+--*
+--
+-- OBJECTIVE:
+--      Check that the subprograms defined in package Ada.Strings.Wide_Bounded
+--      are available, and that they produce correct results, especially under
+--      conditions where truncation of the result is required.  Specifically, 
+--      check the subprograms Overwrite (function and procedure), Delete,
+--      Function Trim (blanks), Trim (Set wide characters, function and
+--      procedure), Head, Tail, and Replicate (wide characters and wide 
+--      strings).
+--
+-- TEST DESCRIPTION:
+--      This test, in conjunction with tests CXA4017, CXA4018, CXA4019, 
+--      will provide coverage of the most common usages of the functionality
+--      found in the Ada.Strings.Wide_Bounded package.  It deals in large part
+--      with truncation effects and options.  This test contains many small, 
+--      specific test cases, situations that are often difficult to generate 
+--      in large numbers in an application-based test.  These cases represent 
+--      specific usage paradigms in-the-small.
+--
+--       
+-- CHANGE HISTORY:
+--      06 Dec 94   SAIC    ACVC 2.0
+--      22 Dec 94   SAIC    Changed obsolete constant to Strings.Wide_Space.
+--      13 Apr 95   SAIC    Corrected certain subtest acceptance conditions.
+--
+--!
+
+with Report;
+with Ada.Characters.Handling;
+with Ada.Strings.Wide_Bounded;
+with Ada.Strings.Wide_Maps;
+
+procedure CXA4020 is
+
+   -- The following two functions are used to translate character and string
+   -- values to "Wide" values.  They will be applied to all the Wide_Bounded
+   -- subprogram parameters to simulate the use of Wide_Characters and 
+   -- Wide_Strings in actual practice. Blanks are translated to Wide_Character
+   -- blanks and all other characters are translated into Wide_Characters with
+   -- position values 256 greater than their (narrow) character position
+   -- values.
+
+   function Translate (Ch : Character) return Wide_Character is
+      C : Character := Ch;
+   begin
+      if Ch = ' ' then
+         return Ada.Characters.Handling.To_Wide_Character(C);
+      else
+         return Wide_Character'Val(Character'Pos(Ch) + 
+                Character'Pos(Character'Last) + 1);
+      end if;
+   end Translate;
+
+
+   function Translate (Str : String) return Wide_String is
+      WS : Wide_String(Str'First..Str'Last);
+   begin
+      for i in Str'First..Str'Last loop
+         WS(i) := Translate(Str(i));
+      end loop;
+      return WS;
+   end Translate;
+
+
+begin
+
+   Report.Test("CXA4020", "Check that the subprograms defined in "      &
+                          "package Ada.Strings.Wide_Bounded are "       &
+                          "available, and that they produce correct "   &
+                          "results, especially under conditions where " &
+                          "truncation of the result is required");
+
+   Test_Block:
+   declare
+
+      package AS   renames Ada.Strings;
+      package ASW  renames Ada.Strings.Wide_Bounded;
+      package Maps renames Ada.Strings.Wide_Maps;
+
+      package B10 is new ASW.Generic_Bounded_Length(Max => 10);
+      use type B10.Bounded_Wide_String;
+
+      Result_String : B10.Bounded_Wide_String;
+      Test_String   : B10.Bounded_Wide_String;
+      AtoE_Bnd_Str  : B10.Bounded_Wide_String := 
+                        B10.To_Bounded_Wide_String(Translate("abcde"));
+      FtoJ_Bnd_Str  : B10.Bounded_Wide_String := 
+                        B10.To_Bounded_Wide_String(Translate("fghij"));
+      AtoJ_Bnd_Str  : B10.Bounded_Wide_String := 
+                        B10.To_Bounded_Wide_String(Translate("abcdefghij"));
+
+      Location     : Natural := 0;
+      Total_Count  : Natural := 0;
+
+      CD_Set       : Maps.Wide_Character_Set := Maps.To_Set(Translate("cd")); 
+      XY_Set       : Maps.Wide_Character_Set := Maps.To_Set(Translate("xy")); 
+
+
+   begin
+
+      -- Function Overwrite with Truncation                  
+      -- Drop = Error (Default).
+
+      begin
+         Test_String   := AtoJ_Bnd_Str;
+         Result_String := 
+           B10.Overwrite(Source   => Test_String, -- "abcdefghij"
+                         Position => 9,
+                         New_Item => Translate("xyz"),
+                         Drop     => AS.Error);
+         Report.Failed("Exception not raised by Function Overwrite");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          => 
+           Report.Failed("Incorrect exception raised by Function Overwrite");
+      end;
+
+      -- Drop = Left
+ 
+      Result_String :=
+        B10.Overwrite(Source   => Test_String,  -- "abcdefghij"
+                      Position => B10.Length(Test_String), -- 10
+                      New_Item => Translate("xyz"),
+                      Drop     => Ada.Strings.Left);
+
+      if B10.To_Wide_String(Result_String) /= 
+         Translate("cdefghixyz") then   -- drop a,b
+         Report.Failed
+           ("Incorrect result from Function Overwrite, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Result_String := B10.Overwrite(Test_String,  -- "abcdefghij"
+                                     3,
+                                     Translate("xxxyyyzzz"),
+                                     Ada.Strings.Right);
+
+      if B10.To_Wide_String(Result_String) /= 
+         Translate("abxxxyyyzz") 
+      then
+         Report.Failed
+           ("Incorrect result from Function Overwrite, Drop = Right");
+      end if;
+
+      -- Additional cases of function Overwrite.
+
+      if B10.Overwrite(B10.To_Bounded_Wide_String(Translate("a")),      
+                       1,                                 -- Source length = 1
+                       Translate("  abc  "))              /= 
+         B10.To_Bounded_Wide_String(Translate("  abc  "))       or
+         B10.Overwrite(B10.Null_Bounded_Wide_String,      -- Null source
+                       1, 
+                       Translate("abcdefghij"))           /=
+         AtoJ_Bnd_Str                                or
+         B10.Overwrite(AtoE_Bnd_Str, 
+                       B10.To_Wide_String(AtoE_Bnd_Str)'First,
+                       Translate(" "))                    /=  -- New_Item = 1
+         B10.To_Bounded_Wide_String(Translate(" bcde"))
+      then
+         Report.Failed("Incorrect result from Function Overwrite");
+      end if;
+
+
+
+      -- Procedure Overwrite                                 
+      -- Correct usage, no truncation.
+
+      Test_String := AtoE_Bnd_Str;   -- "abcde"
+      B10.Overwrite(Test_String, 2, Translate("xyz"));
+
+      if Test_String /= B10.To_Bounded_Wide_String(Translate("axyze")) then
+         Report.Failed("Incorrect result from Procedure Overwrite - 1");
+      end if;
+
+      Test_String := B10.To_Bounded_Wide_String(Translate("abc"));
+      B10.Overwrite(Test_String, 2, "");   -- New_Item is null string.
+
+      if Test_String /= B10.To_Bounded_Wide_String(Translate("abc")) then
+         Report.Failed("Incorrect result from Procedure Overwrite - 2");
+      end if;
+
+      -- Drop = Error (Default).
+
+      begin
+         Test_String   := AtoJ_Bnd_Str;
+         B10.Overwrite(Source   => Test_String, -- "abcdefghij"
+                       Position => 8,
+                       New_Item => Translate("uvwxyz"));
+         Report.Failed("Exception not raised by Procedure Overwrite");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          => 
+           Report.Failed("Incorrect exception raised by Procedure Overwrite");
+      end;
+
+      -- Drop = Left
+ 
+      Test_String   := AtoJ_Bnd_Str;
+      B10.Overwrite(Source   => Test_String,  -- "abcdefghij"
+                    Position => B10.Length(Test_String) - 2, -- 8
+                    New_Item => Translate("uvwxyz"),
+                    Drop     => Ada.Strings.Left);
+
+      if B10.To_Wide_String(Test_String) /= 
+         Translate("defguvwxyz")
+      then  
+         Report.Failed
+           ("Incorrect result from Procedure Overwrite, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Test_String   := AtoJ_Bnd_Str;
+      B10.Overwrite(Test_String,  -- "abcdefghij"
+                    3,
+                    Translate("xxxyyyzzz"),
+                    Ada.Strings.Right);
+
+      if B10.To_Wide_String(Test_String) /= Translate("abxxxyyyzz") then
+         Report.Failed                                         
+           ("Incorrect result from Procedure Overwrite, Drop = Right");
+      end if;
+
+
+
+      -- Function Delete                                     
+
+      if B10.Delete(Source  => AtoJ_Bnd_Str,   -- "abcdefghij"
+                    From    => 3,
+                    Through => 8)                               /=
+         B10."&"(B10.Head(AtoJ_Bnd_Str, 2), 
+                 B10.Tail(AtoJ_Bnd_Str, 2))                         or
+         B10.Delete(AtoJ_Bnd_Str, 6, B10.Length(AtoJ_Bnd_Str))  /=
+         AtoE_Bnd_Str                                               or
+         B10.Delete(AtoJ_Bnd_Str, 1, 5)                         /= 
+         FtoJ_Bnd_Str                                               
+      then
+         Report.Failed("Incorrect result from Function Delete - 1");
+      end if;
+
+      if B10.Delete(B10.To_Bounded_Wide_String(Translate("a")), 1, 1)  /= 
+         B10.Null_Bounded_Wide_String                                    or
+         B10.Delete(AtoE_Bnd_Str, 
+                    5, 
+                    B10.To_Wide_String(AtoE_Bnd_Str)'First) /=
+         AtoE_Bnd_Str                                           or
+         B10.Delete(AtoE_Bnd_Str,
+                    B10.To_Wide_String(AtoE_Bnd_Str)'Last,
+                    B10.To_Wide_String(AtoE_Bnd_Str)'Last)  /=
+         B10.To_Bounded_Wide_String(Translate("abcd"))
+      then
+         Report.Failed("Incorrect result from Function Delete - 2");
+      end if;
+      
+
+
+      -- Function Trim
+
+      declare
+
+         Text : B10.Bounded_Wide_String := 
+                  B10.To_Bounded_Wide_String(Translate("Text"));
+         type Bnd_Array_Type is array (1..5) of B10.Bounded_Wide_String;
+         Bnd_Array : Bnd_Array_Type :=
+           (B10.To_Bounded_Wide_String(Translate("  Text")),
+            B10.To_Bounded_Wide_String(Translate("Text    ")),
+            B10.To_Bounded_Wide_String(Translate("   Text   ")),
+            B10.To_Bounded_Wide_String(Translate("Text  Text")),
+            B10.To_Bounded_Wide_String(Translate(" Text Text")));
+
+      begin
+
+         for i in Bnd_Array_Type'Range loop
+            case i is
+               when 4 =>
+                  if B10.Trim(Bnd_Array(i), AS.Both) /= 
+                     Bnd_Array(i) then  -- no change
+                     Report.Failed("Incorrect result from Function Trim - 4");
+                  end if;
+               when 5 =>
+                  if B10.Trim(Bnd_Array(i), AS.Both) /= 
+                     B10."&"(Text, B10."&"(Translate(' '), Text)) 
+                  then
+                     Report.Failed("Incorrect result from Function Trim - 5");
+                  end if;
+               when others =>
+                  if B10.Trim(Bnd_Array(i), AS.Both) /= Text then
+                     Report.Failed("Incorrect result from Function Trim - " &
+                                    Integer'Image(i));
+                  end if;
+            end case;
+         end loop;
+
+      end;
+
+
+
+      -- Function Trim using Sets                            
+
+      -- Trim characters in sets from both sides of the bounded wide string.
+      if B10.Trim(Source => B10.To_Bounded_Wide_String(Translate("ddabbaxx")),
+                  Left   => CD_Set,
+                  Right  => XY_Set)  /=
+         B10.To_Bounded_Wide_String(Translate("abba"))
+      then
+         Report.Failed
+           ("Incorrect result from Fn Trim - Sets, Left & Right side - 1");
+      end if;
+
+      -- Ensure that the characters in the set provided as the actual to
+      -- parameter Right are not trimmed from the left side of the bounded
+      -- wide string; likewise for the opposite side.  Only "cd" trimmed 
+      -- from left side, and only "xy" trimmed from right side.
+
+      if B10.Trim(B10.To_Bounded_Wide_String(Translate("cdxyabcdxy")), 
+                  CD_Set, 
+                  XY_Set) /=
+         B10.To_Bounded_Wide_String(Translate("xyabcd"))
+      then
+         Report.Failed
+           ("Incorrect result from Fn Trim - Sets, Left & Right side - 2");
+      end if;
+
+      -- Ensure that characters contained in the sets are not trimmed from
+      -- the "interior" of the bounded wide string, just the appropriate ends.
+
+      if B10.Trim(B10.To_Bounded_Wide_String(Translate("cdabdxabxy")), 
+                  CD_Set, 
+                  XY_Set) /=
+         B10.To_Bounded_Wide_String(Translate("abdxab"))
+      then
+         Report.Failed
+           ("Incorrect result from Fn Trim - Sets, Left & Right side - 3");
+      end if;
+
+      -- Trim characters in set from right side only.  No change to Left side.
+
+      if B10.Trim(B10.To_Bounded_Wide_String(Translate("abxyzddcd")), 
+                  XY_Set, 
+                  CD_Set) /=
+         B10.To_Bounded_Wide_String(Translate("abxyz"))
+      then
+         Report.Failed
+           ("Incorrect result from Fn Trim - Sets, Right side");
+      end if;
+
+      -- Trim no characters on either side of the bounded string.
+
+      Result_String := B10.Trim(AtoJ_Bnd_Str, CD_Set, XY_Set);
+      if Result_String /= AtoJ_Bnd_Str then
+         Report.Failed("Incorrect result from Fn Trim - Sets, Neither side");
+      end if;
+
+      if B10.Trim(AtoE_Bnd_Str, Maps.Null_Set, Maps.Null_Set) /=
+         AtoE_Bnd_Str                                            or
+         B10.Trim(B10.To_Bounded_Wide_String(Translate("dcddcxyyxx")),
+                  CD_Set,
+                  XY_Set)                                     /=
+         B10.Null_Bounded_Wide_String
+      then
+         Report.Failed("Incorrect result from Function Trim");
+      end if;
+
+
+
+      -- Procedure Trim using Sets                           
+
+      -- Trim characters in sets from both sides of the bounded wide string.
+
+      Test_String := B10.To_Bounded_Wide_String(Translate("dcabbayx"));
+      B10.Trim(Source => Test_String,
+               Left   => CD_Set,
+               Right  => XY_Set);
+
+      if Test_String /= B10.To_Bounded_Wide_String(Translate("abba")) then
+         Report.Failed
+           ("Incorrect result from Proc Trim - Sets, Left & Right side - 1");
+      end if;
+
+      -- Ensure that the characters in the set provided as the actual to
+      -- parameter Right are not trimmed from the left side of the bounded
+      -- wide string; likewise for the opposite side.  Only "cd" trimmed 
+      -- from left side, and only "xy" trimmed from right side.
+
+      Test_String := B10.To_Bounded_Wide_String(Translate("cdxyabcdxy"));
+      B10.Trim(Test_String, CD_Set, XY_Set);
+
+      if Test_String /= B10.To_Bounded_Wide_String(Translate("xyabcd")) then
+         Report.Failed
+           ("Incorrect result from Proc Trim - Sets, Left & Right side - 2");
+      end if;
+
+      -- Ensure that characters contained in the sets are not trimmed from
+      -- the "interior" of the bounded wide string, just the appropriate ends.
+
+      Test_String := B10.To_Bounded_Wide_String(Translate("cdabdxabxy"));
+      B10.Trim(Test_String, CD_Set, XY_Set);
+
+      if not 
+        (Test_String = B10.To_Bounded_Wide_String(Translate("abdxab"))) then
+         Report.Failed
+           ("Incorrect result from Proc Trim - Sets, Left & Right side - 3");
+      end if;
+
+      -- Trim characters in set from Left side only.  No change to Right side.
+
+      Test_String := B10.To_Bounded_Wide_String(Translate("cccdabxyz"));
+      B10.Trim(Test_String, CD_Set, XY_Set);
+
+      if Test_String /= B10.To_Bounded_Wide_String(Translate("abxyz")) then
+         Report.Failed
+           ("Incorrect result from Proc Trim for Sets, Left side only");
+      end if;
+
+      -- Trim no characters on either side of the bounded wide string.
+
+      Test_String := AtoJ_Bnd_Str;
+      B10.Trim(Test_String, CD_Set, CD_Set);
+
+      if Test_String /= AtoJ_Bnd_Str then
+         Report.Failed("Incorrect result from Proc Trim-Sets, Neither side");
+      end if;
+
+
+
+      -- Function Head with Truncation                       
+      -- Drop = Error (Default).
+
+      begin
+         Result_String := B10.Head(Source => AtoJ_Bnd_Str,   -- max length
+                                   Count  => B10.Length(AtoJ_Bnd_Str) + 1,
+                                   Pad    => Translate('X'));
+         Report.Failed("Length_Error not raised by Function Head");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          => 
+            Report.Failed("Incorrect exception raised by Function Head");
+      end;
+
+      -- Drop = Left
+
+      -- Pad characters (5) are appended to the right end of the bounded
+      -- wide string (which is initially at its maximum length), then the 
+      -- first five characters of the intermediate result are dropped to 
+      -- conform to the maximum size limit of the bounded wide string (10).
+
+      Result_String := 
+        B10.Head(B10.To_Bounded_Wide_String(Translate("ABCDEFGHIJ")),
+                 15,
+                 Translate('x'),
+                 Ada.Strings.Left);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Translate("FGHIJxxxxx"))
+      then
+         Report.Failed("Incorrect result from Function Head, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      -- Pad characters (6) are appended to the left end of the bounded
+      -- wide string (which is initially at one less than its maximum length), 
+      -- then the last five characters of the intermediate result are dropped 
+      -- (which in this case are the pad characters) to conform to the 
+      -- maximum size limit of the bounded wide string (10).
+
+      Result_String := 
+        B10.Head(B10.To_Bounded_Wide_String(Translate("ABCDEFGHI")),
+                 15,
+                 Translate('x'),
+                 Ada.Strings.Right);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Translate("ABCDEFGHIx")) 
+      then
+         Report.Failed("Incorrect result from Function Head, Drop = Right");
+      end if;
+
+      -- Additional cases.
+
+      if B10.Head(B10.Null_Bounded_Wide_String, 5, Translate('a')) /=
+         B10.To_Bounded_Wide_String(Translate("aaaaa"))          or
+         B10.Head(AtoE_Bnd_Str,
+                  B10.Length(AtoE_Bnd_Str))   /=
+         AtoE_Bnd_Str
+      then
+         Report.Failed("Incorrect result from Function Head");
+      end if;
+
+
+
+      -- Function Tail with Truncation                       
+      -- Drop = Error (Default Case)
+
+      begin
+         Result_String := B10.Tail(Source => AtoJ_Bnd_Str,   -- max length
+                                   Count  => B10.Length(AtoJ_Bnd_Str) + 1,
+                                   Pad    => Ada.Strings.Wide_Space,
+                                   Drop   => Ada.Strings.Error);
+         Report.Failed("Length_Error not raised by Function Tail");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          => 
+            Report.Failed("Incorrect exception raised by Function Tail");
+      end;
+
+      -- Drop = Left
+
+      -- Pad characters (5) are appended to the left end of the bounded wide
+      -- string (which is initially at two less than its maximum length), 
+      -- then the first three characters of the intermediate result (in this 
+      -- case, 3 pad characters) are dropped.
+
+      Result_String := 
+        B10.Tail(B10.To_Bounded_Wide_String(Translate("ABCDEFGH")),
+                 13,
+                 Translate('x'),
+                 Ada.Strings.Left);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Translate("xxABCDEFGH")) 
+      then
+         Report.Failed("Incorrect result from Function Tail, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      -- Pad characters (3) are appended to the left end of the bounded wide 
+      -- string (which is initially at its maximum length), then the last
+      -- three characters of the intermediate result are dropped.
+
+      Result_String := 
+        B10.Tail(B10.To_Bounded_Wide_String(Translate("ABCDEFGHIJ")),
+                 13,
+                 Translate('x'),
+                 Ada.Strings.Right);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Translate("xxxABCDEFG"))
+      then
+         Report.Failed("Incorrect result from Function Tail, Drop = Right");
+      end if;
+
+      -- Additional cases.
+
+      if B10.Tail(B10.Null_Bounded_Wide_String, 3, Translate(' ')) /=
+         B10.To_Bounded_Wide_String(Translate("   "))                or
+         B10.Tail(AtoE_Bnd_Str, 
+                  B10.To_Wide_String(AtoE_Bnd_Str)'First)  /=
+         B10.To_Bounded_Wide_String(Translate("e"))
+      then
+         Report.Failed("Incorrect result from Function Tail");
+      end if;
+
+
+
+      -- Function Replicate (#, Char) with Truncation        
+      -- Drop = Error (Default).
+
+      begin
+         Result_String := B10.Replicate(Count => B10.Max_Length + 5,
+                                        Item  => Translate('A'),
+                                        Drop  => AS.Error);
+         Report.Failed
+           ("Length_Error not raised by Replicate for characters");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          => 
+           Report.Failed
+             ("Incorrect exception raised by Replicate for characters");
+      end;
+
+      -- Drop = Left, Right
+      -- Since this version of Replicate uses wide character parameters, the 
+      -- result after truncation from left or right will appear the same.
+      -- The result will be a 10 character bounded wide string, composed of
+      -- 10 "Item" wide characters.
+
+      if B10.Replicate(Count => 20, 
+                       Item => Translate('A'), 
+                       Drop => Ada.Strings.Left) /=
+         B10.Replicate(15, Translate('A'), Ada.Strings.Right)
+      then
+         Report.Failed("Incorrect result from Replicate for characters - 1");
+      end if;
+
+      -- Blank-filled, 10 character bounded wide strings.
+
+      if B10.Replicate(B10.Max_Length + 1, 
+                       Translate(' '), 
+                       Drop => Ada.Strings.Left) /=
+         B10.Replicate(B10.Max_Length, Ada.Strings.Wide_Space)
+      then
+         Report.Failed("Incorrect result from Replicate for characters - 2");
+      end if;
+
+      -- Additional cases.
+
+      if B10.Replicate(0, Translate('a')) /= B10.Null_Bounded_Wide_String or
+         B10.Replicate(1, Translate('a')) /= 
+         B10.To_Bounded_Wide_String(Translate("a"))
+      then
+         Report.Failed("Incorrect result from Replicate for characters - 3");
+      end if;
+
+
+
+      -- Function Replicate (#, String) with Truncation      
+      -- Drop = Error (Default).
+
+      begin
+         Result_String := B10.Replicate(Count => 5,  -- result would be 15.
+                                        Item  => Translate("abc"));
+         Report.Failed
+           ("Length_Error not raised by Replicate for wide strings");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          => 
+           Report.Failed
+             ("Incorrect exception raised by Replicate for wide strings");
+      end;
+
+      -- Drop = Left
+
+      Result_String := B10.Replicate(3, Translate("abcd"), Ada.Strings.Left);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Translate("cdabcdabcd"))
+      then
+         Report.Failed
+           ("Incorrect result from Replicate for wide strings, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Result_String := B10.Replicate(3, Translate("abcd"), Ada.Strings.Right);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Translate("abcdabcdab")) then
+         Report.Failed
+           ("Incorrect result from Replicate for wide strings, Drop = Right");
+      end if;
+
+      -- Additional cases.
+      
+      if B10.Replicate(5, Translate("X"))    /= 
+         B10.To_Bounded_Wide_String(Translate("XXXXX"))   or
+         B10.Replicate(10, "")               /= 
+         B10.Null_Bounded_Wide_String                     or
+         B10.Replicate(0, Translate("ab"))   /= 
+         B10.Null_Bounded_Wide_String
+      then
+         Report.Failed("Incorrect result from Replicate for wide strings");
+      end if;
+
+
+   exception
+      when others => Report.Failed("Exception raised in Test_Block");
+   end Test_Block;
+
+   Report.Result;
+
+end CXA4020;