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

diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa3003.a b/gcc/testsuite/ada/acats/tests/cxa/cxa3003.a
new file mode 100644
index 000000000..f469ef8b5
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/cxa/cxa3003.a
@@ -0,0 +1,243 @@
+-- CXA3003.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 functions defined in package Ada.Characters.Handling
+--      for use in classifying and converting characters between the ISO 646
+--      and type Character sets produce the correct results with both
+--      Character and String input values.
+--
+-- TEST DESCRIPTION:
+--      This test is designed to exercise the classification and conversion
+--      functions (between Character and ISO_646 types) found in package 
+--      Ada.Characters.Handling.  Two subprograms are defined, a procedure for
+--      characters, a function for strings, that will utilize these functions
+--      to validate and change characters in variables.  In the procedure, if
+--      a character argument is found to be outside the subtype ISO_646, this 
+--      character is evaluated to determine whether it is also a letter.  
+--      If it is a letter, the character is converted to a basic character and 
+--      returned.  If it is not a letter, the character is exchanged with an 
+--      asterisk.  In the case of the function subprogram designed for strings, 
+--      if a character component of a string argument is outside the subtype
+--      ISO_646, that character is substituted with an asterisk.
+--      
+--      Arguments for the defined subprograms consist of ISO_646 characters,
+--      non-ISO_646 characters, strings with only ISO_646 characters, and
+--      strings with non-ISO_646 characters. The character and string values 
+--      are then validated to determine that the expected results were 
+--      obtained.
+--      
+--       
+-- CHANGE HISTORY:
+--      06 Dec 94   SAIC    ACVC 2.0
+--      29 Apr 95   SAIC    Modified identifier string lengths.
+--      31 Oct 95   SAIC    Update and repair for ACVC 2.0.1.
+--
+--!
+
+with Ada.Characters.Latin_1;
+with Ada.Characters.Handling;
+with Report;
+
+procedure CXA3003 is
+
+begin
+
+   Report.Test ("CXA3003", "Check that the functions defined in package " &
+                           "Ada.Characters.Handling for use in "          &
+                           "classifying and converting characters "       &
+                           "between the ISO 646 and type Character sets " &
+                           "produce the correct results with both "       &
+                           "Character and String input values" );
+
+   Test_Block:
+   declare
+
+      -- ISO_646 Characters
+
+      Char_1,
+      TC_Char_1  : Character := Ada.Characters.Latin_1.NUL;    -- Control Char
+      Char_2,
+      TC_Char_2  : Character := Ada.Characters.Latin_1.Colon;  -- Graphic Char
+      Char_3,
+      TC_Char_3  : Character := '4';
+      Char_4,
+      TC_Char_4  : Character := 'Z';
+      Char_5,
+      TC_Char_5  : Character := Ada.Characters.Latin_1.LC_W;   -- w
+
+      New_ISO_646_Char : Character := '*';
+
+
+      -- Non-ISO_646 Characters
+
+      Char_Array : array (6..10) of Character := 
+                                       (Ada.Characters.Latin_1.SSA,
+                                        Ada.Characters.Latin_1.Cent_Sign,
+                                        Ada.Characters.Latin_1.Cedilla,
+                                        Ada.Characters.Latin_1.UC_A_Ring,
+                                        Ada.Characters.Latin_1.LC_A_Ring);
+
+      TC_Char : constant Character := '*';
+
+      -- ISO_646 Strings
+
+      Str_1, 
+      TC_Str_1 : String (1..5) := "ABCDE";
+
+      Str_2,
+      TC_Str_2 : String (1..5) := "#$%^&";
+
+
+      -- Non-ISO_646 Strings
+
+      Str_3    : String (1..8) := "$123.45" & 
+                                  Ada.Characters.Latin_1.Cent_Sign;
+      TC_Str_3 : String (1..8) := "$123.45*";
+
+      Str_4    : String (1..7) := "abc" & 
+                                  Ada.Characters.Latin_1.Cedilla &
+                                  "efg";
+      TC_Str_4 : String (1..7) := "abc*efg";
+
+      Str_5    : String (1..3) := Ada.Characters.Latin_1.LC_E_Grave & 
+                                  Ada.Characters.Latin_1.LC_T       &
+                                  Ada.Characters.Latin_1.LC_E_Acute;
+      TC_Str_5 : String (1..3) := "*t*";
+
+      ---
+
+      procedure Validate_Character (Char : in out Character) is
+         -- If parameter Char is an ISO_646 character, Char will be returned,
+         -- otherwise the following constant will be returned.
+         Star : constant Ada.Characters.Handling.ISO_646 := 
+           Ada.Characters.Latin_1.Asterisk;                    
+      begin
+         if Ada.Characters.Handling.Is_ISO_646(Char) then
+            -- Check that the Is_ISO_646 function provide a correct result.
+            if Character'Pos(Char) > 127 then
+               Report.Failed("Is_ISO_646 returns a false positive result");
+            end if;
+         else
+            if Character'Pos(Char) < 128 then
+               Report.Failed("Is_ISO_646 returns a false negative result");
+            end if;
+         end if;
+         -- Cross-check Is_ISO_646 with To_ISO_646.  '*' will be returned
+         -- if Char is not in the ISO_646 set.
+         Char := Ada.Characters.Handling.To_ISO_646(Char, Star);
+      exception
+         when others => Report.Failed ("Exception in Validate_Character");
+      end Validate_Character;
+
+      ---
+
+      function Validate_String (Str : String) return String is
+         New_ISO_646_Char : constant Ada.Characters.Handling.ISO_646 := 
+           Ada.Characters.Latin_1.Asterisk;                    
+      begin
+         -- Checking that the string contains non-ISO_646 characters at this
+         -- point is not strictly necessary, since the function To_ISO_646
+         -- will perform that check as part of its processing, and would 
+         -- return the original string if no modification were necessary.  
+         -- However, this format allows for the testing of both functions.
+
+         if not Ada.Characters.Handling.Is_ISO_646(Str) then
+            return Ada.Characters.Handling.To_ISO_646
+                     (Item => Str, Substitute => New_ISO_646_Char);
+         else
+            return Str;
+         end if;
+      exception
+         when others => Report.Failed ("Exception in Validate_String");
+                        return Str;
+      end Validate_String;
+
+
+   begin
+
+      -- Check each character in turn, and if the character does not belong
+      -- to the ISO_646 subset of type Character, replace it with an
+      -- asterisk.  If the character is a member of the subset, the character
+      -- should be returned unchanged.
+
+      Validate_Character (Char_1);
+      Validate_Character (Char_2);
+      Validate_Character (Char_3);
+      Validate_Character (Char_4);
+      Validate_Character (Char_5);
+
+      if Char_1 /= TC_Char_1 or Char_2 /= TC_Char_2 or
+         Char_3 /= TC_Char_3 or Char_4 /= TC_Char_4 or
+         Char_5 /= TC_Char_5
+      then
+         Report.Failed ("Incorrect ISO_646 character substitution");
+      end if;
+
+      -- Non-ISO_646 characters
+
+      for i in 6..10 loop
+         Validate_Character (Char_Array(i));
+      end loop;
+
+      for i in 6..10 loop
+         if Char_Array(i) /= TC_Char then
+            Report.Failed ("Character position " & Integer'Image(i) &
+                           " not replaced correctly");
+         end if;
+      end loop;
+
+
+
+      -- Check each string, and if the string contains characters that do not
+      -- belong to the ISO_646 subset of type Character, replace that character
+      -- in the string with an asterisk.  If the string is comprised of only
+      -- ISO_646 characters, the string should be returned unchanged.
+
+
+      Str_1 := Validate_String (Str_1);
+      Str_2 := Validate_String (Str_2);
+      Str_3 := Validate_String (Str_3);
+      Str_4 := Validate_String (Str_4);
+      Str_5 := Validate_String (Str_5);
+
+
+      if Str_1 /= TC_Str_1 or
+         Str_2 /= TC_Str_2 or
+         Str_3 /= TC_Str_3 or
+         Str_4 /= TC_Str_4 or
+         Str_5 /= TC_Str_5
+      then
+         Report.Failed ("Incorrect ISO_646 character substitution in string");
+      end if;
+
+
+   exception
+      when others => Report.Failed ("Exception raised in Test_Block");
+   end Test_Block;
+
+   Report.Result;
+
+end CXA3003;