Subversion Repositories openrisc_me

-- C330002.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 if a subtype indication of a variable object defines an

--      indefinite subtype, then there is an initialization expression.

--      Check that the object remains so constrained throughout its lifetime.

--      Check for cases of tagged record, arrays and generic formal type.

--

-- TEST DESCRIPTION:

--      An indefinite subtype is either:

--         a) An unconstrained array subtype.

--         b) A subtype with unknown discriminants (this includes class-wide

--            types).

--         c) A subtype with unconstrained discriminants without defaults.

--

--      Declare tagged types with unconstrained discriminants without

--      defaults.  Declare an unconstrained array.  Declare a generic formal

--      type with an unknown discriminant and a formal object of this type.

--      In the generic package, declare an object of the formal type using

--      the formal object as its initial value.  In the main program,

--      declare objects of tagged types.  Instantiate the generic package.

--      The test checks that Constraint_Error is raised if an attempt is

--      made to change bounds as well as discriminants of the objects of the

--      indefinite subtypes.

--

--

-- CHANGE HISTORY:

--      01 Nov 95   SAIC    Initial prerelease version.

--      27 Jul 96   SAIC    Modified test description & Report.Test.  Added

--                          code to prevent dead variable optimization.

--

--!

package C330002_0 is

   subtype Small_Num is Integer range 1 .. 20;

   -- Types with unconstrained discriminants without defaults.

   type Tag_Type (Disc : Small_Num) is tagged

     record

       S : String (1 .. Disc);

     end record;

   function  Tag_Value return Tag_Type;

   procedure Assign_Tag (A : out Tag_Type);

   procedure Avoid_Optimization_and_Fail (P : Tag_Type; Msg : String);

   ---------------------------------------------------------------------

   -- An unconstrained array type.

   type Array_Type is array (Positive range <>) of Integer;

   function  Array_Value return Array_Type;

   procedure Assign_Array (A : out Array_Type);

   ---------------------------------------------------------------------

   generic

      -- Type with an unknown discriminant.

      type Formal_Type (<>) is private;

      FT_Obj  : Formal_Type;

   package Gen is

      Gen_Obj : Formal_Type := FT_Obj;

   end Gen;

end C330002_0;

     --==================================================================--

with Report;

package body C330002_0 is

   procedure Assign_Tag (A : out Tag_Type) is

   begin

      A := (3, "Bye");

   end Assign_Tag;

   ----------------------------------------------------------------------

   procedure Avoid_Optimization_and_Fail (P : Tag_Type; Msg : String) is

      Default : Tag_Type := (1, "!"); -- Unique value.

   begin

      if P = Default then       -- Both If branches can't do the same thing.

         Report.Failed  (Msg & ": Constraint_Error not raised");

      else                      -- Subtests should always select this path.

         Report.Failed ("Constraint_Error not raised " & Msg);

      end if;

   end Avoid_Optimization_and_Fail;

   ----------------------------------------------------------------------

   function  Tag_Value return Tag_Type is

      TO : Tag_Type := (4 , "ACVC");

   begin

      return TO;

   end Tag_Value;

   ----------------------------------------------------------------------

   function  Array_Value return Array_Type is

      IA : Array_Type := (20, 31);

   begin

      return IA;

   end Array_Value;

   ----------------------------------------------------------------------

   procedure Assign_Array (A : out Array_Type) is

   begin

      A := (84, 36);

   end Assign_Array;

end C330002_0;

     --==================================================================--

with Report;

with C330002_0;

use  C330002_0;

procedure C330002 is

begin

   Report.Test ("C330002", "Check that if a subtype indication of a "      &

                "variable object defines an indefinite subtype, then "     &

                "there is an initialization expression.  Check that "      &

                "the object remains so constrained throughout its "        &

                "lifetime.  Check that Constraint_Error is raised "        &

                "if an attempt is made to change bounds as well as "       &

                "discriminants of the objects of the indefinite "          &

                "subtypes.  Check for cases of tagged record and generic " &

                "formal types");

   TagObj_Block:

   declare

      TObj_ByAgg  : Tag_Type := (5, "Hello");    -- Initial assignment is

                                                 -- aggregate.

      TObj_ByObj  : Tag_Type := TObj_ByAgg;      -- Initial assignment is

                                                 -- an object.

      TObj_ByFunc : Tag_Type := Tag_Value;       -- Initial assignment is

                                                 -- function return value.

      Ren_Obj     : Tag_Type renames TObj_ByAgg;

   begin

      begin

         if (TObj_ByAgg.Disc /= 5) or (TObj_ByAgg.S /= "Hello") then

            Report.Failed ("Wrong initial values for TObj_ByAgg");

         end if;

         TObj_ByAgg := (2, "Hi");                -- C_E, can't change the

                                                 -- value of the discriminant.

         Avoid_Optimization_and_Fail (TObj_ByAgg, "Subtest 1");

      exception

         when Constraint_Error => null;          -- Exception is expected.

         when others           =>

            Report.Failed ("Unexpected exception - Subtest 1");

      end;

      begin

         Assign_Tag (Ren_Obj);                   -- C_E, can't change the

                                                 -- value of the discriminant.

         Avoid_Optimization_and_Fail (Ren_Obj, "Subtest 2");

      exception

         when Constraint_Error => null;          -- Exception is expected.

         when others           =>

            Report.Failed ("Unexpected exception - Subtest 2");

      end;

      begin

         if (TObj_ByObj.Disc /= 5) or (TObj_ByObj.S /= "Hello") then

            Report.Failed ("Wrong initial values for TObj_ByObj");

         end if;

         TObj_ByObj := (3, "Bye");               -- C_E, can't change the

                                                 -- value of the discriminant.

         Avoid_Optimization_and_Fail (TObj_ByObj, "Subtest 3");

      exception

         when Constraint_Error => null;          -- Exception is expected.

         when others           =>

            Report.Failed ("Unexpected exception - Subtest 3");

      end;

      begin

         if (TObj_ByFunc.Disc /= 4) or (TObj_ByFunc.S /= "ACVC") then

            Report.Failed ("Wrong initial values for TObj_ByFunc");

         end if;

         TObj_ByFunc := (5, "Aloha");            -- C_E, can't change the

                                                 -- value of the discriminant.

         Avoid_Optimization_and_Fail (TObj_ByFunc, "Subtest 4");

      exception

         when Constraint_Error => null;          -- Exception is expected.

         when others           =>

            Report.Failed ("Unexpected exception - Subtest 4");

      end;

   end TagObj_Block;

   ArrObj_Block:

   declare

      Arr_Const   :  constant Array_Type

                  := (9, 7, 6, 8);

      Arr_ByAgg   :  Array_Type                  -- Initial assignment is

                  := (10, 11, 12);               -- aggregate.

      Arr_ByFunc  :  Array_Type                  -- Initial assignment is

                  := Array_Value;                -- function return value.

      Arr_ByObj   :  Array_Type                  -- Initial assignment is

                  := Arr_ByAgg;                  -- object.

      Arr_Obj     :  array (Positive range <>) of Integer

                  := (1, 2, 3, 4, 5);

    begin

      begin

         if (Arr_Const'First /= 1) or (Arr_Const'Last /= 4) then

            Report.Failed ("Wrong bounds for Arr_Const");

         end if;

         if (Arr_ByAgg'First /= 1) or (Arr_ByAgg'Last /= 3) then

            Report.Failed ("Wrong bounds for Arr_ByAgg");

         end if;

         if (Arr_ByFunc'First /= 1) or (Arr_ByFunc'Last /= 2) then

            Report.Failed ("Wrong bounds for Arr_ByFunc");

         end if;

         if (Arr_ByObj'First /= 1) or (Arr_ByObj'Last /= 3) then

            Report.Failed ("Wrong bounds for Arr_ByObj");

         end if;

         Assign_Array (Arr_ByObj);               -- C_E, Arr_ByObj bounds are

                                                 -- 1..3.

         Report.Failed ("Constraint_Error not raised - Subtest 5");

      exception

            when Constraint_Error => null;        -- Exception is expected.

            when others           =>

               Report.Failed ("Unexpected exception - Subtest 5");

      end;

      begin

         if (Arr_Obj'First /= 1) or (Arr_Obj'Last /= 5) then

            Report.Failed ("Wrong bounds for Arr_Obj");

         end if;

         for I in 0 .. 5 loop

            Arr_Obj (I + 1) := I + 5;             -- C_E, Arr_Obj bounds are

         end loop;                                -- 1..5.

         Report.Failed ("Constraint_Error not raised - Subtest 6");

      exception

            when Constraint_Error => null;        -- Exception is expected.

            when others           =>

               Report.Failed ("Unexpected exception - Subtest 6");

      end;

   end ArrObj_Block;

   GenericObj_Block:

   declare

      type Rec (Disc : Small_Num) is

        record

           S : Small_Num := Disc;

        end record;

      Rec_Obj : Rec := (2, 2);

      package IGen is new Gen (Rec, Rec_Obj);

   begin

      IGen.Gen_Obj := (3, 3);                    -- C_E, can't change the

                                                 -- value of the discriminant.

      Report.Failed ("Constraint_Error not raised - Subtest 7");

      -- Next line prevents dead assignment.

      Report.Comment ("Disc is" & Integer'Image (IGen.Gen_Obj.Disc));

   exception

      when Constraint_Error => null;             -- Exception is expected.

      when others           =>

         Report.Failed ("Unexpected exception - Subtest 7");

   end GenericObj_Block;

   Report.Result;

end C330002;