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

diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa5012.a b/gcc/testsuite/ada/acats/tests/cxa/cxa5012.a
new file mode 100644
index 000000000..a286fa71e
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/cxa/cxa5012.a
@@ -0,0 +1,536 @@
+-- CXA5012.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, for both Float_Random and Discrete_Random packages,
+--      the following are true:
+--      1) the procedures Save and Reset can be used to save the
+--         specific state of a random number generator, and then restore
+--         the specific state to the generator following some intermediate
+--         generator activity.
+--      2) the Function Image can be used to obtain a string
+--         representation of the state of a generator; and that the
+--         Function Value will transform a string representation of the
+--         state of a random number generator into the actual state object.
+--      3) a call to Function Value, with a string value that is
+--         not the image of any generator state, is a bounded error. This
+--         error either raises Constraint_Error or Program_Error, or is
+--         accepted. (See Technical Corrigendum 1).
+--
+-- TEST DESCRIPTION:
+--      This test evaluates components of the Ada.Numerics.Float_Random and
+--      Ada.Numerics.Discrete_Random packages.
+--      The first objective block of this test uses Procedure Save to
+--      save the particular state of a random number generator.  The random
+--      number generator then generates a series of random numbers.  The
+--      saved state variable is then used to reset (using Procedure Reset)
+--      the generator back to the state it was in at the point of the call
+--      to Save.  Random values are then generated from this restored
+--      generator, and compared with expected values.
+--      The second objective block of this test uses Function Image to
+--      provide a string representation of a state code.  This string is
+--      then transformed back to a state code value, and used to reset a
+--      random number generator to the saved state.  Random values are
+--      likewise generated from this restored generator, and compared with
+--      expected values.
+--
+--
+-- CHANGE HISTORY:
+--      25 Apr 95   SAIC    Initial prerelease version.
+--      17 Jul 95   SAIC    Incorporated reviewer comments.
+--      17 Dec 97   EDS     Change subtype upper limit from 100_000 to 10_000.
+--      16 Sep 99   RLB     Updated objective 3 for Technical Corrigendum 1
+--                          changes.
+
+--!
+
+with Ada.Numerics.Float_Random;
+with Ada.Numerics.Discrete_Random;
+with Ada.Strings.Bounded;
+with ImpDef;
+with Report;
+
+procedure CXA5012 is
+
+begin
+
+   Report.Test ("CXA5012", "Check the effect of Procedures Save and " &
+                           "Reset, and Functions Image and Value "    &
+                           "from the Ada.Numerics.Discrete_Random "   &
+                           "and Float_Random packages");
+
+   Test_Block:
+   declare
+
+      use Ada.Numerics, Ada.Strings.Bounded;
+
+      -- Declare an integer subtype and an enumeration subtype, and use them
+      -- to instantiate the discrete random number generator generic package.
+
+      subtype Discrete_Range is Integer range 1..10_000;
+      type    Suit_Of_Cards  is (Ace, One, Two, Three, Four, Five, Six,
+                                 Seven, Eight, Nine, Ten, Jack, Queen, King);
+      package Discrete_Pack is new Discrete_Random(Discrete_Range);
+      package Card_Pack     is new Discrete_Random(Suit_Of_Cards);
+
+      -- Declaration of random number generator objects.
+
+      DGen_1, DGen_2 : Discrete_Pack.Generator;
+      EGen_1, EGen_2 : Card_Pack.Generator;
+      FGen_1, FGen_2 : Float_Random.Generator;
+
+      -- Variables declared to hold random numbers over the inclusive range
+      -- of their corresponding type.
+
+      DVal_1, DVal_2 : Discrete_Range;
+      EVal_1, EVal_2 : Suit_Of_Cards;
+      FVal_1, FVal_2 : Float_Random.Uniformly_Distributed;
+
+      -- Declaration of State variables used to hold the state of the
+      -- random number generators.
+
+      DState_1, DState_2 : Discrete_Pack.State;
+      EState_1, EState_2 : Card_Pack.State;
+      FState_1, FState_2 : Float_Random.State;
+
+      -- Declaration of bounded string packages instantiated with the
+      -- value of Max_Image_Width constant, and bounded string variables
+      -- used to hold the image of random number generator states.
+
+      package DString_Pack is
+        new Generic_Bounded_Length(Discrete_Pack.Max_Image_Width);
+      package EString_Pack is
+        new Generic_Bounded_Length(Card_Pack.Max_Image_Width);
+      package FString_Pack is
+        new Generic_Bounded_Length(Float_Random.Max_Image_Width);
+
+      use DString_Pack, EString_Pack, FString_Pack;
+
+      DString_1, DString_2 : DString_Pack.Bounded_String :=
+                               DString_Pack.Null_Bounded_String;
+      EString_1, EString_2 : EString_Pack.Bounded_String :=
+                               EString_Pack.Null_Bounded_String;
+      FString_1, FString_2 : FString_Pack.Bounded_String :=
+                               FString_Pack.Null_Bounded_String;
+
+      -- Test variables.
+
+      TC_Count                  : Natural;
+      TC_Discrete_Check_Failed,
+      TC_Enum_Check_Failed,
+      TC_Float_Check_Failed     : Boolean := False;
+      TC_Seed                   : Integer;
+
+   begin
+
+      Objective_1:
+         -- Check that the procedures Save and Reset can be used to save the
+         -- specific state of a random number generator, and then restore the
+         -- specific state to the generator following some intermediate
+         -- generator activity.
+      declare
+
+         First_Row     : constant :=   1;
+         Second_Row    : constant :=   2;
+         TC_Max_Values : constant := 100;
+
+         TC_Discrete_Array : array (First_Row..Second_Row, 1..TC_Max_Values)
+                               of Discrete_Range;
+         TC_Enum_Array     : array (First_Row..Second_Row, 1..TC_Max_Values)
+                               of Suit_Of_Cards;
+         TC_Float_Array    : array (First_Row..Second_Row, 1..TC_Max_Values)
+                               of Float_Random.Uniformly_Distributed;
+      begin
+
+         -- The state of the random number generators are saved to state
+         -- variables using the procedure Save.
+
+         Discrete_Pack.Save(Gen => DGen_1, To_State => DState_1);
+         Card_Pack.Save    (Gen => EGen_1, To_State => EState_1);
+         Float_Random.Save (Gen => FGen_1, To_State => FState_1);
+
+         -- Random number generators are used to fill the first half of the
+         -- first row of the arrays with randomly generated values.
+
+         for i in 1..TC_Max_Values/2 loop
+            TC_Discrete_Array(First_Row, i) := Discrete_Pack.Random(DGen_1);
+            TC_Enum_Array(First_Row, i)     := Card_Pack.Random(EGen_1);
+            TC_Float_Array(First_Row, i)    := Float_Random.Random(FGen_1);
+         end loop;
+
+         -- The random number generators are reset to the states saved in the
+         -- state variables, using the procedure Reset.
+
+         Discrete_Pack.Reset(Gen => DGen_1, From_State => DState_1);
+         Card_Pack.Reset    (Gen => EGen_1, From_State => EState_1);
+         Float_Random.Reset (Gen => FGen_1, From_State => FState_1);
+
+         -- The same random number generators are used to fill the first half
+         -- of the second row of the arrays with randomly generated values.
+
+         for i in 1..TC_Max_Values/2 loop
+            TC_Discrete_Array(Second_Row, i) := Discrete_Pack.Random(DGen_1);
+            TC_Enum_Array(Second_Row, i)     := Card_Pack.Random(EGen_1);
+            TC_Float_Array(Second_Row, i)    := Float_Random.Random(FGen_1);
+         end loop;
+
+         -- Run the random number generators many times (not using results).
+
+         for i in Discrete_Range'Range loop
+             DVal_1 := Discrete_Pack.Random(DGen_1);
+             EVal_1 := Card_Pack.Random(EGen_1);
+             FVal_1 := Float_Random.Random(FGen_1);
+         end loop;
+
+         -- The states of the random number generators are saved to state
+         -- variables using the procedure Save.
+
+         Discrete_Pack.Save(Gen => DGen_1, To_State => DState_1);
+         Card_Pack.Save(Gen => EGen_1, To_State => EState_1);
+         Float_Random.Save (Gen => FGen_1, To_State => FState_1);
+
+         -- The last half of the first row of the arrays are filled with
+         -- values generated from the same random number generators.
+
+         for i in (TC_Max_Values/2 + 1)..TC_Max_Values loop
+            TC_Discrete_Array(First_Row, i) := Discrete_Pack.Random(DGen_1);
+            TC_Enum_Array(First_Row, i)     := Card_Pack.Random(EGen_1);
+            TC_Float_Array(First_Row, i)    := Float_Random.Random(FGen_1);
+         end loop;
+
+         -- The random number generators are reset to the states saved in the
+         -- state variables, using the procedure Reset.
+
+         Discrete_Pack.Reset(Gen => DGen_1, From_State => DState_1);
+         Card_Pack.Reset(Gen => EGen_1, From_State => EState_1);
+         Float_Random.Reset (Gen => FGen_1, From_State => FState_1);
+
+         -- The last half of the second row of the arrays are filled with
+         -- values generated from the same random number generator.
+         -- These values should exactly mirror the values in the last half
+         -- of the first row of the arrays that had been previously generated.
+
+         for i in (TC_Max_Values/2 + 1)..TC_Max_Values loop
+            TC_Discrete_Array(Second_Row, i) := Discrete_Pack.Random(DGen_1);
+            TC_Enum_Array(Second_Row, i)     := Card_Pack.Random(EGen_1);
+            TC_Float_Array(Second_Row, i)    := Float_Random.Random(FGen_1);
+         end loop;
+
+         -- Check that the values in the two rows of the arrays are identical.
+
+         for i in 1..TC_Max_Values loop
+            if TC_Discrete_Array(First_Row,i) /=
+               TC_Discrete_Array(Second_Row,i)
+            then
+               TC_Discrete_Check_Failed := True;
+               exit;
+            end if;
+         end loop;
+
+         for i in 1..TC_Max_Values loop
+            if TC_Enum_Array(First_Row,i) /= TC_Enum_Array(Second_Row,i) then
+               TC_Enum_Check_Failed := True;
+               exit;
+            end if;
+         end loop;
+
+         for i in 1..TC_Max_Values loop
+            if TC_Float_Array(First_Row,i) /= TC_Float_Array(Second_Row,i)
+            then
+               TC_Float_Check_Failed := True;
+               exit;
+            end if;
+         end loop;
+
+         if TC_Discrete_Check_Failed then
+            Report.Failed("Discrete random values generated following use " &
+                          "of procedures Save and Reset were not the same");
+            TC_Discrete_Check_Failed := False;
+         end if;
+
+         if TC_Enum_Check_Failed then
+            Report.Failed("Enumeration random values generated following " &
+                          "use of procedures Save and Reset were not the " &
+                          "same");
+            TC_Enum_Check_Failed := False;
+         end if;
+
+         if TC_Float_Check_Failed then
+            Report.Failed("Float random values generated following use " &
+                          "of procedures Save and Reset were not the same");
+            TC_Float_Check_Failed := False;
+         end if;
+
+      end Objective_1;
+
+
+
+      Objective_2:
+         -- Check that the Function Image can be used to obtain a string
+         -- representation of the state of a generator.
+         -- Check that the Function Value will transform a string
+         -- representation of the state of a random number generator
+         -- into the actual state object.
+      begin
+
+         -- Use two discrete and float random number generators to generate
+         -- a series of values (so that the generators are no longer in their
+         -- initial states, and they have generated the same number of
+         -- random values).
+
+         TC_Seed := Integer(Discrete_Pack.Random(DGen_1));
+         Discrete_Pack.Reset(DGen_1, TC_Seed);
+         Discrete_Pack.Reset(DGen_2, TC_Seed);
+         Card_Pack.Reset    (EGen_1, TC_Seed);
+         Card_Pack.Reset    (EGen_2, TC_Seed);
+         Float_Random.Reset (FGen_1,  TC_Seed);
+         Float_Random.Reset (FGen_2,  TC_Seed);
+
+         for i in 1..1000 loop
+            DVal_1 := Discrete_Pack.Random(DGen_1);
+            DVal_2 := Discrete_Pack.Random(DGen_2);
+            EVal_1 := Card_Pack.Random(EGen_1);
+            EVal_2 := Card_Pack.Random(EGen_2);
+            FVal_1 := Float_Random.Random(FGen_1);
+            FVal_2 := Float_Random.Random(FGen_2);
+         end loop;
+
+         -- Use the Procedure Save to save the states of the generators
+         -- to state variables.
+
+         Discrete_Pack.Save(Gen => DGen_1, To_State => DState_1);
+         Discrete_Pack.Save(DGen_2, To_State => DState_2);
+         Card_Pack.Save    (Gen => EGen_1, To_State => EState_1);
+         Card_Pack.Save    (EGen_2, To_State => EState_2);
+         Float_Random.Save (FGen_1, To_State => FState_1);
+         Float_Random.Save (FGen_2, FState_2);
+
+         -- Use the Function Image to produce a representation of the state
+         -- codes as (bounded) string objects.
+
+         DString_1 := DString_Pack.To_Bounded_String(
+                        Discrete_Pack.Image(Of_State => DState_1));
+         DString_2 := DString_Pack.To_Bounded_String(
+                        Discrete_Pack.Image(DState_2));
+         EString_1 := EString_Pack.To_Bounded_String(
+                        Card_Pack.Image(Of_State => EState_1));
+         EString_2 := EString_Pack.To_Bounded_String(
+                        Card_Pack.Image(EState_2));
+         FString_1 := FString_Pack.To_Bounded_String(
+                        Float_Random.Image(Of_State => FState_1));
+         FString_2 := FString_Pack.To_Bounded_String(
+                        Float_Random.Image(FState_2));
+
+         -- Compare the bounded string objects for equality.
+
+         if DString_1 /= DString_2 then
+            Report.Failed("String values returned from Function Image " &
+                          "depict different states of Discrete generators");
+         end if;
+         if EString_1 /= EString_2 then
+            Report.Failed("String values returned from Function Image " &
+                          "depict different states of Enumeration "     &
+                          "generators");
+         end if;
+         if FString_1 /= FString_2 then
+            Report.Failed("String values returned from Function Image " &
+                          "depict different states of Float generators");
+         end if;
+
+         -- The string representation of a state code is transformed back
+         -- to a state code variable using the Function Value.
+
+         DState_1 := Discrete_Pack.Value(Coded_State =>
+                                          DString_Pack.To_String(DString_1));
+         EState_1 := Card_Pack.Value(EString_Pack.To_String(EString_1));
+         FState_1 := Float_Random.Value(FString_Pack.To_String(FString_1));
+
+         -- One of the (pair of each type of ) generators is used to generate
+         -- a series of random values, getting them "out of synch" with the
+         -- specific generation sequence of the other generators.
+
+         for i in 1..100 loop
+            DVal_1 := Discrete_Pack.Random(DGen_1);
+            EVal_1 := Card_Pack.Random(EGen_1);
+            FVal_1 := Float_Random.Random (FGen_1);
+         end loop;
+
+         -- The "out of synch" generators are reset to the previous state they
+         -- had when their states were saved, and they should now have the same
+         -- states as the generators that did not generate the values above.
+
+         Discrete_Pack.Reset(Gen => DGen_1, From_State => DState_1);
+         Card_Pack.Reset    (Gen => EGen_1, From_State => EState_1);
+         Float_Random.Reset (Gen => FGen_1, From_State => FState_1);
+
+         -- All generators should now be in the same state, so the
+         -- random values they produce should be the same.
+
+         for i in 1..1000 loop
+            if Discrete_Pack.Random(DGen_1) /= Discrete_Pack.Random(DGen_2)
+            then
+               TC_Discrete_Check_Failed := True;
+               exit;
+            end if;
+         end loop;
+
+         for i in 1..1000 loop
+            if Card_Pack.Random(EGen_1) /= Card_Pack.Random(EGen_2) then
+               TC_Enum_Check_Failed := True;
+               exit;
+            end if;
+         end loop;
+
+         for i in 1..1000 loop
+            if Float_Random.Random(FGen_1) /= Float_Random.Random(FGen_2)
+            then
+               TC_Float_Check_Failed := True;
+               exit;
+            end if;
+         end loop;
+
+         if TC_Discrete_Check_Failed then
+            Report.Failed("Random values generated following use of "     &
+                          "procedures Image and Value were not the same " &
+                          "for Discrete generator");
+         end if;
+         if TC_Enum_Check_Failed then
+            Report.Failed("Random values generated following use of "     &
+                          "procedures Image and Value were not the same " &
+                          "for Enumeration generator");
+         end if;
+         if TC_Float_Check_Failed then
+            Report.Failed("Random values generated following use of "     &
+                          "procedures Image and Value were not the same " &
+                          "for Float generator");
+         end if;
+
+      end Objective_2;
+
+
+
+      Objective_3:
+         -- Check that a call to Function Value, with a string value that is
+         -- not the image of any generator state, is a bounded error. This
+         -- error either raises Constraint_Error or Program_Error, or is
+         -- accepted. (See Technical Corrigendum 1).
+      declare
+         Not_A_State : constant String := ImpDef.Non_State_String;
+      begin
+
+         begin
+            DState_1 := Discrete_Pack.Value(Not_A_State);
+            if Not_A_State /= "**NONE**" then
+               Report.Failed("Exception not raised by Function " &
+                             "Ada.Numerics.Discrete_Random.Value when " &
+                             "provided a string input that does not "   &
+                             "represent the state of a random number "  &
+                             "generator");
+            else
+               Report.Comment("All strings represent states for Function " &
+                             "Ada.Numerics.Discrete_Random.Value");
+            end if;
+            Discrete_Pack.Reset(DGen_1, DState_1);
+         exception
+            when Constraint_Error => null;  -- OK, expected exception.
+               Report.Comment("Constraint_Error raised by Function " &
+                             "Ada.Numerics.Discrete_Random.Value when " &
+                             "provided a string input that does not "   &
+                             "represent the state of a random number "  &
+                             "generator");
+            when Program_Error => -- OK, expected exception.
+               Report.Comment("Program_Error raised by Function " &
+                             "Ada.Numerics.Discrete_Random.Value when " &
+                             "provided a string input that does not "   &
+                             "represent the state of a random number "  &
+                             "generator");
+            when others =>
+               Report.Failed("Unexpected exception raised by Function " &
+                             "Ada.Numerics.Discrete_Random.Value when " &
+                             "provided a string input that does not "   &
+                             "represent the state of a random number "  &
+                             "generator");
+         end;
+
+         begin
+            EState_1 := Card_Pack.Value(Not_A_State);
+            if Not_A_State /= "**NONE**" then
+               Report.Failed("Exception not raised by Function " &
+                             "Ada.Numerics.Discrete_Random.Value when " &
+                             "provided a string input that does not "   &
+                             "represent the state of an enumeration "   &
+                             "random number generator");
+            else
+               Report.Comment("All strings represent states for Function " &
+                             "Ada.Numerics.Discrete_Random.Value");
+            end if;
+            Card_Pack.Reset(EGen_1, EState_1);
+         exception
+            when Constraint_Error => null;  -- OK, expected exception.
+            when Program_Error => null; -- OK, expected exception.
+            when others =>
+               Report.Failed("Unexpected exception raised by Function " &
+                             "Ada.Numerics.Discrete_Random.Value when " &
+                             "provided a string input that does not "   &
+                             "represent the state of an enumeration "   &
+                             "random number generator");
+         end;
+
+         begin
+            FState_1 := Float_Random.Value(Not_A_State);
+            if Not_A_State /= "**NONE**" then
+               Report.Failed("Exception not raised by an "      &
+                             "instantiated version of "                &
+                             "Ada.Numerics.Float_Random.Value when "   &
+                             "provided a string input that does not "  &
+                             "represent the state of a random number " &
+                             "generator");
+            else
+               Report.Comment("All strings represent states for Function " &
+                             "Ada.Numerics.Float_Random.Value");
+            end if;
+            Float_Random.Reset(FGen_1, FState_1);
+         exception
+            when Constraint_Error => null;  -- OK, expected exception.
+            when Program_Error => null; -- OK, expected exception.
+            when others =>
+               Report.Failed("Unexpected exception raised by an "      &
+                             "instantiated version of "                &
+                             "Ada.Numerics.Float_Random.Value when "   &
+                             "provided a string input that does not "  &
+                             "represent the state of a random number " &
+                             "generator");
+         end;
+
+      end Objective_3;
+
+
+   exception
+      when others => Report.Failed ("Exception raised in Test_Block");
+   end Test_Block;
+
+   Report.Result;
+
+end CXA5012;