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, 457 insertions, 0 deletions

diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa4032.a b/gcc/testsuite/ada/acats/tests/cxa/cxa4032.a
new file mode 100644
index 000000000..031d01c6c
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/cxa/cxa4032.a
@@ -0,0 +1,457 @@
+-- CXA4032.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 procedures defined in package Ada.Strings.Unbounded
+--      are available, and that they produce correct results. Specifically, 
+--      check the procedures Replace_Slice, Insert, Overwrite, Delete,
+--      Trim (2 versions), Head, and Tail.
+--      
+-- TEST DESCRIPTION:
+--      This test demonstrates the uses of many of the procedures defined
+--      in package Ada.Strings.Unbounded for use with unbounded strings.
+--      The test simulates how unbounded strings could be processed in a
+--      user environment, using the procedures provided in this package.
+--
+--      This test, when taken in conjunction with tests CXA4010, CXA4011,
+--      CXA4030, and CXA4031 will constitute a test of all the functionality 
+--      contained in package Ada.Strings.Unbounded.  This test uses a variety 
+--      of the procedures defined in the unbounded string package in ways 
+--      typical of common usage.
+--      
+--       
+-- CHANGE HISTORY:
+--      02 Mar 95   SAIC    Initial prerelease version.
+--
+--!
+
+with Report;
+with Ada.Strings;
+with Ada.Strings.Maps;
+with Ada.Strings.Maps.Constants;
+with Ada.Strings.Unbounded;
+
+procedure CXA4032 is
+begin
+
+   Report.Test ("CXA4032", "Check that the subprograms defined in "        &
+                           "package Ada.Strings.Unbounded are available, " &
+                           "and that they produce correct results");
+
+   Test_Block:
+   declare
+
+      package Unb renames Ada.Strings.Unbounded;
+      use Unb;
+      use Ada.Strings;
+
+      TC_Null_String : constant String := "";
+      TC_String_5    : String(1..5)    := "ABCDE";
+
+      TC_Unb_String  : Unb.Unbounded_String := 
+                         Unb.To_Unbounded_String("Test String");
+
+   begin
+
+      -- Procedure Replace_Slice
+
+      begin                                           -- Low > Source'Last+1
+         Unb.Replace_Slice(Source => TC_Unb_String, 
+                           Low    => Unb.Length(TC_Unb_String) + 2,
+                           High   => Unb.Length(TC_Unb_String),
+                           By     => TC_String_5);
+         Report.Failed("Index_Error not raised by Replace_Slice when Low " &
+                       "> Source'Last+1");
+      exception
+         when Index_Error => null;  -- OK, expected exception.
+         when others      =>
+            Report.Failed("Unexpected exception raised by Replace_Slice" &
+                          "when Low > Source'Last+1");
+      end;
+
+      -- High >= Low
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Replace_Slice(TC_Unb_String, 5, 5, TC_String_5);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("TestABCDEString") then
+         Report.Failed("Incorrect results from Replace_Slice - 1");
+      end if;
+
+      Unb.Replace_Slice(TC_Unb_String, 1, 4, TC_String_5);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("ABCDEABCDEString") then
+         Report.Failed("Incorrect results from Replace_Slice - 2");
+      end if;
+
+      Unb.Replace_Slice(TC_Unb_String, 
+                        11, 
+                        Unb.Length(TC_Unb_String),
+                        TC_Null_String);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("ABCDEABCDE") then
+         Report.Failed("Incorrect results from Replace_Slice - 3");
+      end if;
+
+      -- High < Low   
+
+      Unb.Replace_Slice(TC_Unb_String, Low => 4, High => 1, By => "xxx");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("ABCxxxDEABCDE") then
+         Report.Failed("Incorrect results from Replace_Slice - 4");
+      end if;
+
+      Unb.Replace_Slice(TC_Unb_String, Low => 1, High => 0, By => "yyy");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("yyyABCxxxDEABCDE") then
+         Report.Failed("Incorrect results from Replace_Slice - 5");
+      end if;
+
+      Unb.Replace_Slice(TC_Unb_String, 
+                        Unb.Length(TC_Unb_String) + 1, 
+                        Unb.Length(TC_Unb_String), 
+                        By => "zzz");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("yyyABCxxxDEABCDEzzz") then
+         Report.Failed("Incorrect results from Replace_Slice - 6");
+      end if;
+
+
+      -- Procedure Insert
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      begin                  -- Before not in Source'First..Source'Last + 1
+         Unb.Insert(Source   => TC_Unb_String,
+                    Before   => Unb.Length(TC_Unb_String) + 2,
+                    New_Item => TC_String_5);
+         Report.Failed("Index_Error not raised by Insert when Before " &
+                       "not in the range Source'First..Source'Last+1");
+      exception
+         when Index_Error => null;  -- OK, expected exception.
+         when others      =>
+            Report.Failed
+              ("Unexpected exception raised by Insert when Before not in " &
+               "the range Source'First..Source'Last+1");
+      end;
+
+      Unb.Insert(TC_Unb_String, 1, "**");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("**Test String") then
+         Report.Failed("Incorrect results from Insert - 1");
+      end if;
+
+      Unb.Insert(TC_Unb_String, Unb.Length(TC_Unb_String)+1, "**");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("**Test String**") then
+         Report.Failed("Incorrect results from Insert - 2");
+      end if;
+
+      Unb.Insert(TC_Unb_String, 8, "---");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("**Test ---String**") then
+         Report.Failed("Incorrect results from Insert - 3");
+      end if;
+
+      Unb.Insert(TC_Unb_String, 3, TC_Null_String);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("**Test ---String**") then
+         Report.Failed("Incorrect results from Insert - 4");
+      end if;
+
+
+      -- Procedure Overwrite
+
+      begin                -- Position not in Source'First..Source'Last + 1
+         Unb.Overwrite(Source   => TC_Unb_String,
+                       Position => Unb.Length(TC_Unb_String) + 2,
+                       New_Item => TC_String_5);
+         Report.Failed("Index_Error not raised by Overwrite when Position " &
+                       "not in the range Source'First..Source'Last+1");
+      exception
+         when Index_Error => null;  -- OK, expected exception.
+         when others      =>
+            Report.Failed
+              ("Unexpected exception raised by Overwrite when Position not " &
+               "in the range Source'First..Source'Last+1");
+      end;
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Overwrite(Source   => TC_Unb_String,
+                    Position => 1,
+                    New_Item => "XXXX");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String") then
+         Report.Failed("Incorrect results from Overwrite - 1");
+      end if;
+
+      Unb.Overwrite(TC_Unb_String, Unb.Length(TC_Unb_String)+1, "**");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String**") then
+         Report.Failed("Incorrect results from Overwrite - 2");
+      end if;
+
+      Unb.Overwrite(TC_Unb_String, 3, TC_Null_String);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String**") then
+         Report.Failed("Incorrect results from Overwrite - 3");
+      end if;
+
+      Unb.Overwrite(TC_Unb_String, 1, "abcdefghijklmn");
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("abcdefghijklmn") then
+         Report.Failed("Incorrect results from Overwrite - 4");
+      end if;
+
+
+      -- Procedure Delete
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      -- From > Through  (No change to Source)
+
+      Unb.Delete(Source  => TC_Unb_String, 
+                 From    => Unb.Length(TC_Unb_String),
+                 Through => Unb.Length(TC_Unb_String)-1);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
+         Report.Failed("Incorrect results from Delete - 1");
+      end if;
+
+      Unb.Delete(TC_Unb_String, 1, 0);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
+         Report.Failed("Incorrect results from Delete - 2");
+      end if;
+
+      -- From <= Through
+
+      Unb.Delete(TC_Unb_String, 1, 5);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("String") then
+         Report.Failed("Incorrect results from Delete - 3");
+      end if;
+
+      Unb.Delete(TC_Unb_String, 3, 3);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Sting") then
+         Report.Failed("Incorrect results from Delete - 4");
+      end if;
+
+
+      -- Procedure Trim 
+
+      TC_Unb_String := Unb.To_Unbounded_String("No Spaces");
+
+      Unb.Trim(Source => TC_Unb_String, Side => Ada.Strings.Both);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("No Spaces") then
+         Report.Failed("Incorrect results from Trim - 1");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("   Leading Spaces   ");
+
+      Unb.Trim(TC_Unb_String, Ada.Strings.Left);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Leading Spaces   ") then
+         Report.Failed("Incorrect results from Trim - 2");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("   Ending Spaces   ");
+
+      Unb.Trim(TC_Unb_String, Ada.Strings.Right);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("   Ending Spaces") then
+         Report.Failed("Incorrect results from Trim - 3");
+      end if;
+
+      TC_Unb_String := 
+        Unb.To_Unbounded_String("    Spaces   on  both  ends     ");
+
+      Unb.Trim(TC_Unb_String, Ada.Strings.Both);
+
+      if TC_Unb_String /= 
+         Unb.To_Unbounded_String("Spaces   on  both  ends") 
+      then
+         Report.Failed("Incorrect results from Trim - 4");
+      end if;
+
+
+      -- Procedure Trim (with Character Set parameters)
+
+      TC_Unb_String := Unb.To_Unbounded_String("lowerCASEletters");
+
+      Unb.Trim(Source => TC_Unb_String,
+               Left   => Ada.Strings.Maps.Constants.Lower_Set,
+               Right  => Ada.Strings.Maps.Constants.Lower_Set);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("CASE") then
+         Report.Failed("Incorrect results from Trim with Sets - 1");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("lowerCASEletters");
+
+      Unb.Trim(TC_Unb_String, 
+               Ada.Strings.Maps.Constants.Upper_Set,
+               Ada.Strings.Maps.Constants.Upper_Set);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("lowerCASEletters") then
+         Report.Failed("Incorrect results from Trim with Sets - 2");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("012abcdefghGFEDCBA789ab");
+
+      Unb.Trim(TC_Unb_String,
+               Ada.Strings.Maps.Constants.Hexadecimal_Digit_Set,
+               Ada.Strings.Maps.Constants.Hexadecimal_Digit_Set);
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("ghG") then
+         Report.Failed("Incorrect results from Trim with Sets - 3");
+      end if;
+
+
+      -- Procedure Head
+
+      -- Count <= Source'Length
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Head(Source => TC_Unb_String,
+               Count  => 0,
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.Null_Unbounded_String then
+         Report.Failed("Incorrect results from Head - 1");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Head(Source => TC_Unb_String,
+               Count  => 4,
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Test") then
+         Report.Failed("Incorrect results from Head - 2");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Head(Source => TC_Unb_String,
+               Count  => Unb.Length(TC_Unb_String),
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
+         Report.Failed("Incorrect results from Head - 3");
+      end if;
+
+      -- Count > Source'Length
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Head(Source => TC_Unb_String,
+               Count  => Unb.Length(TC_Unb_String) + 4,
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Test String****") then
+         Report.Failed("Incorrect results from Head - 4");
+      end if;
+
+      TC_Unb_String := Unb.Null_Unbounded_String;
+
+      Unb.Head(Source => TC_Unb_String,
+               Count  => Unb.Length(TC_Unb_String) + 3,
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("***") then
+         Report.Failed("Incorrect results from Head - 5");
+      end if;
+
+
+      -- Procedure Tail
+
+      -- Count <= Source'Length
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Tail(Source => TC_Unb_String,
+               Count  => 0,
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.Null_Unbounded_String then
+         Report.Failed("Incorrect results from Tail - 1");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Tail(Source => TC_Unb_String,
+               Count  => 6,
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("String") then
+         Report.Failed("Incorrect results from Tail - 2");
+      end if;
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Tail(Source => TC_Unb_String,
+               Count  => Unb.Length(TC_Unb_String),
+               Pad    => '*');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
+         Report.Failed("Incorrect results from Tail - 3");
+      end if;
+
+      -- Count > Source'Length
+
+      TC_Unb_String := Unb.To_Unbounded_String("Test String");
+
+      Unb.Tail(Source => TC_Unb_String,
+               Count  => Unb.Length(TC_Unb_String) + 5,
+               Pad    => 'x');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("xxxxxTest String") then
+         Report.Failed("Incorrect results from Tail - 4");
+      end if;
+
+      TC_Unb_String := Unb.Null_Unbounded_String;
+
+      Unb.Tail(Source => TC_Unb_String,
+               Count  => Unb.Length(TC_Unb_String) + 3,
+               Pad    => 'X');
+
+      if TC_Unb_String /= Unb.To_Unbounded_String("XXX") then
+         Report.Failed("Incorrect results from Tail - 5");
+      end if;
+
+
+   exception
+      when others => Report.Failed ("Exception raised in Test_Block");
+   end Test_Block;
+
+   Report.Result;
+
+end CXA4032;