Subversion Repositories openrisc_me

-- C456001.A

--

--                             Grant of Unlimited Rights

--

--     The Ada Conformity Assessment Authority (ACAA) holds unlimited

--     rights in the software and documentation contained herein. Unlimited

--     rights are the same as those granted by the U.S. Government for older

--     parts of the Ada Conformity Assessment Test Suite, and are defined

--     in DFAR 252.227-7013(a)(19). By making this public release, the ACAA

--     intends to confer upon all recipients unlimited rights equal to those

--     held by the ACAA. 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 ACAA 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.

--

--                                     Notice

--

--    The ACAA has created and maintains the Ada Conformity Assessment Test

--    Suite for the purpose of conformity assessments conducted in accordance

--    with the International Standard ISO/IEC 18009 - Ada: Conformity

--    assessment of a language processor. This test suite should not be used

--    to make claims of conformance unless used in accordance with

--    ISO/IEC 18009 and any applicable ACAA procedures.

--

--*

-- OBJECTIVE:

--     For exponentiation of floating point types, check that

--       Constraint_Error is raised (or, if no exception is raised and

--       Machine_Overflows is False, that a result is produced) if the

--       result is outside of the range of the base type.

--     This tests digits 5.

-- HISTORY:

--     04/30/03  RLB  Created test from old C45622A and C45624A.

with Report;

procedure C456001 is

     type Flt is digits 5;

     F : Flt;

     function Equal_Flt (One, Two : Flt) return Boolean is

         -- Break optimization.

     begin

          return One = Two * Flt (Report.Ident_Int(1));

     end Equal_Flt;

begin

     Report.Test ("C456001", "For exponentiation of floating point types, " &

                      "check that Constraint_Error is raised (or, if " &

                      "if no exception is raised and Machine_Overflows is " &

                      "False, that a result is produced) if the result is " &

                      "outside of the range of the base type.");

     begin

         F := (Flt'Base'Last)**Report.Ident_Int (2);

         if Flt'Machine_Overflows Then

             Report.Failed ("Constraint_Error was not raised for " &

                       "exponentiation");

         else

             -- RM95 3.5.6(7) allows disobeying RM95 4.5(10) if

             -- Machine_Overflows is False.

             Report.Comment ("Constraint_Error was not raised for " &

                       "exponentiation and Machine_Overflows is False");

         end if;

         if not Equal_Flt (F, F) then

             -- Optimization breaker, F must be evaluated.

             Report.Comment ("Don't optimize F");

         end if;

     exception

         when Constraint_Error =>

             Report.Comment ("Constraint_Error was raised for " &

                             "exponentiation");

         when others =>

             Report.Failed ("An exception other than Constraint_Error " &

                            "was raised for exponentiation");

     end;

     Report.Result;

end C456001;